Skip to content
Back to pull request #340

Fix : Limit scope of hygiene false option in MagmaLaw.lean #971

Sign in to view logs

Fix : Limit scope of hygiene false option in MagmaLaw.lean

Fix : Limit scope of hygiene false option in MagmaLaw.lean #971

Triggered via pull request October 5, 2024 22:35
@Shreyas4991Shreyas4991
opened #340
fix_hygiene_completeness
Status Success
Total duration 6m 58s
Artifacts –

blueprint.yml

on: pull_request
Build project
6m 48s
Build project
Fit to window
Zoom out
Zoom in