fix: make all_goals admit goals on failure
#4917
Triggered via pull request
November 3, 2024 21:37
leanprover-community-bot
leanprover-community-bot
labeled
#5934
Status
Skipped
Total duration
2s
Artifacts
–