Test Mathlib #2096
Triggered via workflow run
January 16, 2025 02:37
leanprover-community-mathlib4-bot
leanprover-community-mathlib4-bot
completed
5b23a12
Status
Skipped
Total duration
3s
Artifacts
–