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

Triggered via push October 5, 2024 22:43
@Shreyas4991Shreyas4991
pushed 6a6d708
main
Status Success
Total duration 6m 49s
Artifacts –

blueprint.yml

on: push
Build project
6m 38s
Build project
Fit to window
Zoom out
Zoom in