feat(IR): add the f80 and f128 float types #13711
Triggered via pull request
September 17, 2026 04:02
tobiasgrosser
Status
Failure
Total duration
22m 29s
Artifacts
–
lean_action_ci.yml
on: pull_request
Check orphan Lean modules
8s
Matrix: build
Annotations
2 errors
|
build (debug)
Process completed with exit code 1.
|
|
build (release)
Process completed with exit code 1.
|