Skip to content

Actions: Rob23oba/lean4-batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

try this doesn't keep it a secret anymore :-( ci #34: Commit ce6c0c2 pushed by Rob23oba
1m 1s nightly-testing
nightly-testing
1m 1s
chore: bump to nightly-2025-08-29 ci #33: Commit 8f2c9cb pushed by Rob23oba
1m 51s nightly-testing
nightly-testing
1m 51s
fix ci #32: Commit 71ce9df pushed by Rob23oba
1m 51s nightly-testing
nightly-testing
1m 51s
chore: adaptations for nightly-2025-07-22 ci #31: Commit e81ac6a pushed by Rob23oba
1m 44s nightly-testing
nightly-testing
1m 44s
fix nightly testing ci zulip message ci #30: Commit 525d197 pushed by Rob23oba
1m 48s nightly-zulip-message
nightly-zulip-message
1m 48s
remove duplicates ci #29: Commit 8ad20a0 pushed by Rob23oba
51s nightly-testing
nightly-testing
51s
long line ci #28: Commit 7106388 pushed by Rob23oba
1m 14s nightly-testing
nightly-testing
1m 14s
fix ci #27: Commit 56ab5d3 pushed by Rob23oba
1m 44s nightly-testing
nightly-testing
1m 44s
fix ci #26: Commit b1c001d pushed by Rob23oba
1m 57s lean-pr-testing-7395
lean-pr-testing-7395
1m 57s
perf: make Rat use divExact for normalization ci #25: Commit c1598f5 pushed by Rob23oba
54s rat-div-exact
rat-div-exact
54s
chore: bump toolchain to v4.20.0-rc2 (#1221) ci #24: Commit cb53cd3 pushed by Rob23oba
51s rat-div-exact
rat-div-exact
51s
chore: bump toolchain to v4.20.0-rc2 (#1221) ci #23: Commit cb53cd3 pushed by Rob23oba
1m 59s main
main
1m 59s
Revert "chore: adaptation for lean 4 pr 7855 (#1198)" ci #22: Commit ecabb6c pushed by Rob23oba
1m 49s revert-1198-lean-pr-testing-7855
revert-1198-lean-pr-testing-7855
1m 49s
Revert "fix" ci #21: Commit 7b8f8de pushed by Rob23oba
1m 24s lean-pr-testing-7855
lean-pr-testing-7855
1m 24s
fix ci #20: Commit a26d7cc pushed by Rob23oba
1m 59s lean-pr-testing-7855
lean-pr-testing-7855
1m 59s
fixes ci #19: Commit 2ab0ca6 pushed by Rob23oba
1m 53s lean-pr-testing-7499
lean-pr-testing-7499
1m 53s
chore: cleanup ci #18: Commit 2e65b88 pushed by Rob23oba
44s float-axioms
float-axioms
44s
feat: add beq definition and prove the infamous nan != nan ci #17: Commit 306adeb pushed by Rob23oba
41s float-axioms
float-axioms
41s
feat: Float axioms for simplest functions, several lemmas ci #16: Commit b88f22d pushed by Rob23oba
1m 37s float-axioms
float-axioms
1m 37s
move, cleanup ci #15: Commit 8aff6a3 pushed by kim-em
46s array-vec-monadic
array-vec-monadic
46s
uncomment ci #14: Commit e9166bf pushed by kim-em
50s array-vec-monadic
array-vec-monadic
50s
merge main, and uncomment ci #13: Commit 253e201 pushed by kim-em
59s array-vec-monadic
array-vec-monadic
59s
Merge remote-tracking branch 'upstream/bump/v4.17.0' into array-vec-m… ci #12: Commit cc5588b pushed by Rob23oba
1m 42s array-vec-monadic
array-vec-monadic
1m 42s
fix: delete obsolete csimp (#1110) ci #11: Commit f133cf2 pushed by Rob23oba
1m 45s main
main
1m 45s
feat: flatMapM_toArray (commented out) ci #10: Commit 45a599f pushed by Rob23oba
49s array-vec-monadic
array-vec-monadic
49s