Skip to content

Actions: girving/interval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove unneeded Dyadic.monoidPow_eq_instPowNat lemma build #117: Commit 5683bf0 pushed by girving
46m 9s main
main
46m 9s
adds badge linking to API docs (#29) build #116: Commit f4a3231 pushed by girving
11m 13s main
main
11m 13s
adds badge linking to API docs build #115: Pull request #29 opened by adomasbaliuka
2m 20s adomasbaliuka:patch-2
adomasbaliuka:patch-2
2m 20s
Build and deploy API-docs in CI (#28) build #114: Commit 7121e66 pushed by girving
44m 15s main
main
44m 15s
Build and deploy API-docs in CI build #113: Pull request #28 synchronize by adomasbaliuka
2m 10s adomasbaliuka:patch-1
adomasbaliuka:patch-1
2m 10s
Build and deploy API-docs in CI build #112: Pull request #28 opened by adomasbaliuka
2m 10s adomasbaliuka:patch-1
adomasbaliuka:patch-1
2m 10s
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