Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
7,516 workflow runs
7,516 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat:Add check_note command ci #8347: Pull request #948 synchronize by edegeltje
September 20, 2024 18:41 Action required edegeltje:check-note-command
edegeltje:check-note-command
September 20, 2024 18:41 Action required
feat: fill in proof of Array.data_erase ci #8346: Pull request #690 synchronize by Seppel3210
September 20, 2024 17:10 57s Seppel3210:erase_data
Seppel3210:erase_data
September 20, 2024 17:10 57s
feat: fill in proof of Array.data_erase ci #8345: Pull request #690 synchronize by Seppel3210
September 20, 2024 13:56 33s Seppel3210:erase_data
Seppel3210:erase_data
September 20, 2024 13:56 33s
remove upstreamed ci #8344: Commit e25ca36 pushed by semorrison
September 20, 2024 11:30 1m 25s nightly-testing
nightly-testing
September 20, 2024 11:30 1m 25s
chore: bump to nightly-2024-09-20 ci #8343: Commit 7ed4307 pushed by leanprover-community-mathlib4-bot
September 20, 2024 09:06 1m 8s nightly-testing
nightly-testing
September 20, 2024 09:06 1m 8s
Trigger CI for https://github.com/leanprover/lean4/pull/3718 ci #8342: Commit b03e617 pushed by leanprover-community-mathlib4-bot
September 20, 2024 08:43 1m 45s lean-pr-testing-3718
lean-pr-testing-3718
September 20, 2024 08:43 1m 45s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8341: Commit 1568aef pushed by leanprover-community-mathlib4-bot
September 20, 2024 07:22 1m 11s lean-pr-testing-5405
lean-pr-testing-5405
September 20, 2024 07:22 1m 11s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8340: Commit 3403b8d pushed by leanprover-community-mathlib4-bot
September 20, 2024 06:24 1m 11s lean-pr-testing-5403
lean-pr-testing-5403
September 20, 2024 06:24 1m 11s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8339: Commit 195eb73 pushed by leanprover-community-mathlib4-bot
September 20, 2024 06:22 1m 33s lean-pr-testing-5402
lean-pr-testing-5402
September 20, 2024 06:22 1m 33s
Trigger CI for https://github.com/leanprover/lean4/pull/5376 ci #8338: Commit 59c041c pushed by leanprover-community-mathlib4-bot
September 20, 2024 02:07 1m 30s lean-pr-testing-5376
lean-pr-testing-5376
September 20, 2024 02:07 1m 30s
feat:Add check_note command ci #8337: Pull request #948 synchronize by edegeltje
September 19, 2024 19:34 Action required edegeltje:check-note-command
edegeltje:check-note-command
September 19, 2024 19:34 Action required
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8336: Commit 5f23941 pushed by leanprover-community-mathlib4-bot
September 19, 2024 19:11 1m 37s lean-pr-testing-5399
lean-pr-testing-5399
September 19, 2024 19:11 1m 37s
Trigger CI for https://github.com/leanprover/lean4/pull/3718 ci #8335: Commit ac8e640 pushed by leanprover-community-mathlib4-bot
September 19, 2024 18:18 1m 50s lean-pr-testing-3718
lean-pr-testing-3718
September 19, 2024 18:18 1m 50s
chore: fix more Std -> Batteries ci #8334: Pull request #887 synchronize by mattrobball
September 19, 2024 17:43 1m 15s batteries_ns
batteries_ns
September 19, 2024 17:43 1m 15s
fix emergent name collisions ci #8333: Commit 4c305f5 pushed by mattrobball
September 19, 2024 17:43 1m 14s batteries_ns
batteries_ns
September 19, 2024 17:43 1m 14s
chore: fix more Std -> Batteries ci #8332: Pull request #887 synchronize by mattrobball
September 19, 2024 17:12 49s batteries_ns
batteries_ns
September 19, 2024 17:12 49s
Merge branch 'main' into batteries_ns ci #8331: Commit 831a8e5 pushed by mattrobball
September 19, 2024 17:12 47s batteries_ns
batteries_ns
September 19, 2024 17:12 47s
Trigger CI for https://github.com/leanprover/lean4/pull/3718 ci #8330: Commit c1b63f6 pushed by leanprover-community-mathlib4-bot
September 19, 2024 16:55 42s lean-pr-testing-3718
lean-pr-testing-3718
September 19, 2024 16:55 42s
Trigger CI for https://github.com/leanprover/lean4/pull/3714 ci #8329: Commit c2cf542 pushed by leanprover-community-mathlib4-bot
September 19, 2024 16:55 43s lean-pr-testing-3714
lean-pr-testing-3714
September 19, 2024 16:55 43s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #8328: Commit ba4e791 pushed by leanprover-community-mathlib4-bot
September 19, 2024 15:17 1m 29s lean-pr-testing-5396
lean-pr-testing-5396
September 19, 2024 15:17 1m 29s
Trigger CI for https://github.com/leanprover/lean4/pull/3718 ci #8327: Commit 7fe78e4 pushed by leanprover-community-mathlib4-bot
September 19, 2024 15:15 1m 30s lean-pr-testing-3718
lean-pr-testing-3718
September 19, 2024 15:15 1m 30s
Trigger CI for https://github.com/leanprover/lean4/pull/3714 ci #8326: Commit a0a5efc pushed by leanprover-community-mathlib4-bot
September 19, 2024 15:12 1m 35s lean-pr-testing-3714
lean-pr-testing-3714
September 19, 2024 15:12 1m 35s
remove upstreamed ci #8325: Commit a2714af pushed by semorrison
September 19, 2024 08:27 1m 32s nightly-testing
nightly-testing
September 19, 2024 08:27 1m 32s
merge lean-pr-testing-5381 ci #8324: Commit d93e978 pushed by semorrison
September 19, 2024 08:27 54s nightly-testing
nightly-testing
September 19, 2024 08:27 54s
merge lean-pr-testing-5380 ci #8323: Commit 0f161ec pushed by semorrison
September 19, 2024 08:26 53s nightly-testing
nightly-testing
September 19, 2024 08:26 53s