fix: set iota := true in simpGlobalConfig
#6929
Triggered via pull request
February 3, 2025 21:10
leanprover-community-bot
leanprover-community-bot
labeled
#6909
Status
Skipped
Total duration
2s
Artifacts
–