Skip to content
Compile blueprint

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340) #972

Sign in to view logs

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340)

Fix : Limit scope of hygiene false option in MagmaLaw.lean (#340) #972

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
6m 38s
6m 38s