Skip to content

Actions: girving/interval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove upstreamed bernoulli lemmas (#26) build #111: Commit 57de60e pushed by girving
2m 30s main
main
2m 30s
Remove upstreamed bernoulli lemmas build #110: Pull request #26 opened by Ruben-VandeVelde
2m 27s Ruben-VandeVelde:bernoulli
Ruben-VandeVelde:bernoulli
2m 27s
Update lean and mathlib build #109: Commit 4a404ea pushed by girving
4m 56s main
main
4m 56s
More dyadic functionality build #108: Commit ba52791 pushed by girving
3m 41s main
main
3m 41s
Register the correct pow instance for Dyadic's monoidness build #107: Commit 0631da3 pushed by girving
2m 38s main
main
2m 38s
Remove mem_ from mem_approx_ names build #106: Commit 3e9fb49 pushed by girving
3m 34s main
main
3m 34s
Conversion from ℤ to Fixed 0 build #105: Commit 115ce70 pushed by girving
4m 1s main
main
4m 1s
Inversion and division propagate nan build #104: Commit b07e899 pushed by girving
2m 25s main
main
2m 25s
Box scaling build #103: Commit 2f39cbe pushed by girving
5m 11s main
main
5m 11s
Interval approximates Complex along the real line build #102: Commit 239617f pushed by girving
4m 8s main
main
4m 8s
Add div2 instances for Floating and Interval build #101: Commit 4f7d117 pushed by girving
3m 48s main
main
3m 48s
Update mathlib build #100: Commit 3a9cfc7 pushed by girving
4m 55s main
main
4m 55s
Update to leanprover/lean4:v4.26.0-rc1, fixing compilation build #99: Commit dcfea10 pushed by girving
5m 5s main
main
5m 5s
Update to leanprover/lean4:v4.26.0-rc1, fixing compilation build #98: Commit dcfea10 pushed by girving
5m 2s broken
broken
5m 2s
Separate div2_zero out from Div2, to allow types that don't have a Zero build #97: Commit 5b6da2f pushed by girving
2m 56s broken
broken
2m 56s
Separate div2_zero out from Div2, to allow types that don't have a Zero build #96: Commit 40c1bd1 pushed by girving
3m 48s broken
broken
3m 48s
Separate div2_zero out from Div2, to allow types that don't have a Zero build #95: Commit 2c45e7a pushed by girving
3m 11s broken
broken
3m 11s
Move some functionality into interval from series and bottcher build #94: Commit a96f006 pushed by girving
4m 51s broken
broken
4m 51s
Update github workflow to actions/checkout@v5 build #93: Commit 9ff213b pushed by girving
2m 1s broken
broken
2m 1s
Update mathlib build #92: Commit 9385fee pushed by girving
4m 44s broken
broken
4m 44s
Update to leanprover/lean4:v4.25.0-rc2, breaking compilation build #91: Commit 8b3d1e5 pushed by girving
5m 9s broken
broken
5m 9s
Approx typeclasses for ℕ, ℤ, ℚ conversion build #90: Commit 967190e pushed by girving
3m 28s main
main
3m 28s
Unbundle ApproxZero and ApproxZeroIff build #89: Commit d7bdfbb pushed by girving
3m 38s main
main
3m 38s
Approximate identity instances and lemmas build #88: Commit 6a041c8 pushed by girving
3m 50s main
main
3m 50s
Register approx_zero and approx_one as @[simp] build #87: Commit 9cf21df pushed by girving
3m 36s main
main
3m 36s