Repository navigation
chore: bump mathlib to 0867942, fix breaking changes #180
Triggered via pull request
November 6, 2026 18:10
github-actions[bot]
Status
Failure
Total duration
6d 14h 52m 54s
Artifacts
–
Annotations
1 error
|
Build
This workflow run required approval but was not approved before it expired.
|