Skip to content
Lint Style

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

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 #932

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

lint.yml

on: pull_request
style_lint
4s
style_lint
Fit to window
Zoom out
Zoom in