Repository navigation
Bump mathlib dependency to 5089c57
#61
Triggered via pull request
September 12, 2026 12:40
github-actions[bot]
Status
Failure
Total duration
9d 22h 40m 15s
Artifacts
–
Annotations
1 error
|
Build
This workflow run required approval but was not approved before it expired.
|