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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check orphan Lean modules
5s
build (release)
20m 36s
build (debug)
7m 11s
27m 52s