Skip to content
Lean Action CI

feat(IR): add the f80 and f128 float types (#1449) #13716

Sign in to view logs

feat(IR): add the f80 and f128 float types (#1449)

feat(IR): add the f80 and f128 float types (#1449) #13716

Triggered via push September 17, 2026 04:42
@github-merge-queuegithub-merge-queue[bot]
pushed 9120821
main
Status Success
Total duration 20m 39s
Artifacts –

lean_action_ci.yml

on: push
Check orphan Lean modules
5s
Check orphan Lean modules
Matrix: build
Fit to window
Zoom out
Zoom in