Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
6,201 workflow run results
6,201 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7881: Commit fb37628 pushed by leanprover-community-mathlib4-bot
August 21, 2024 01:37 1m 33s lean-pr-testing-5101
lean-pr-testing-5101
August 21, 2024 01:37 1m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7880: Commit 7874a09 pushed by leanprover-community-mathlib4-bot
August 20, 2024 20:47 1m 46s lean-pr-testing-5081
lean-pr-testing-5081
August 20, 2024 20:47 1m 46s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7879: Commit a7bb04a pushed by leanprover-community-mathlib4-bot
August 20, 2024 18:07 1m 33s lean-pr-testing-5087
lean-pr-testing-5087
August 20, 2024 18:07 1m 33s
chore: adaptations for nightly-2024-08-20 ci #7878: Pull request #927 opened by kim-em
August 20, 2024 12:32 1m 35s bump/nightly-2024-08-20
bump/nightly-2024-08-20
August 20, 2024 12:32 1m 35s
merge nightly-testing ci #7877: Commit 97f1bc5 pushed by kim-em
August 20, 2024 12:31 1m 41s bump/nightly-2024-08-20
bump/nightly-2024-08-20
August 20, 2024 12:31 1m 41s
lint ci #7876: Commit 1280243 pushed by kim-em
August 20, 2024 12:26 1m 1s nightly-testing
nightly-testing
August 20, 2024 12:26 1m 1s
fix for merge ci #7875: Commit 79479e7 pushed by kim-em
August 20, 2024 12:02 1m 38s nightly-testing
nightly-testing
August 20, 2024 12:02 1m 38s
chore: adaptations for nightly-2024-08-17 (#926) ci #7874: Commit fbc15f5 pushed by kim-em
August 20, 2024 11:52 1m 33s bump/v4.12.0
bump/v4.12.0
August 20, 2024 11:52 1m 33s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7873: Commit 18f9a7a pushed by leanprover-community-mathlib4-bot
August 20, 2024 10:02 1m 35s lean-pr-testing-4325
lean-pr-testing-4325
August 20, 2024 10:02 1m 35s
chore: bump to nightly-2024-08-20 ci #7872: Commit dbd0028 pushed by leanprover-community-mathlib4-bot
August 20, 2024 09:06 1m 5s nightly-testing
nightly-testing
August 20, 2024 09:06 1m 5s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7871: Commit aca6e0d pushed by leanprover-community-mathlib4-bot
August 20, 2024 08:02 1m 33s lean-pr-testing-4154
lean-pr-testing-4154
August 20, 2024 08:02 1m 33s
Trigger CI for https://github.com/leanprover/lean4/pull/5092 ci #7870: Commit dd155f7 pushed by leanprover-community-mathlib4-bot
August 20, 2024 01:55 57s lean-pr-testing-5092
lean-pr-testing-5092
August 20, 2024 01:55 57s
Trigger CI for https://github.com/leanprover/lean4/pull/5092 ci #7869: Commit f7c6f41 pushed by leanprover-community-mathlib4-bot
August 20, 2024 01:28 1m 2s lean-pr-testing-5092
lean-pr-testing-5092
August 20, 2024 01:28 1m 2s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7868: Commit 3928a97 pushed by leanprover-community-mathlib4-bot
August 19, 2024 13:08 1m 34s lean-pr-testing-4154
lean-pr-testing-4154
August 19, 2024 13:08 1m 34s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7867: Commit 2f16469 pushed by leanprover-community-mathlib4-bot
August 19, 2024 11:03 1m 11s lean-pr-testing-5092
lean-pr-testing-5092
August 19, 2024 11:03 1m 11s
Trigger CI for https://github.com/leanprover/lean4/pull/5088 ci #7866: Commit 588ff19 pushed by leanprover-community-mathlib4-bot
August 19, 2024 10:54 1m 54s lean-pr-testing-5088
lean-pr-testing-5088
August 19, 2024 10:54 1m 54s
chore: bump to nightly-2024-08-19 ci #7865: Commit 7ca87f8 pushed by leanprover-community-mathlib4-bot
August 19, 2024 09:05 1m 41s nightly-testing
nightly-testing
August 19, 2024 09:05 1m 41s
chore: adaptations for nightly-2024-08-17 ci #7864: Pull request #926 opened by kim-em
August 19, 2024 03:57 1m 27s bump/nightly-2024-08-17
bump/nightly-2024-08-17
August 19, 2024 03:57 1m 27s
adaptations for 08-17 ci #7863: Commit 8862b97 pushed by kim-em
August 19, 2024 03:57 1m 29s bump/nightly-2024-08-17
bump/nightly-2024-08-17
August 19, 2024 03:57 1m 29s
Merge remote-tracking branch 'origin/main' into bump/v4.12.0 ci #7862: Commit 5ee331d pushed by kim-em
August 19, 2024 03:56 1m 27s bump/v4.12.0
bump/v4.12.0
August 19, 2024 03:56 1m 27s
chore: adaptations for nightly-2024-08-16 (#923) ci #7861: Commit c96a7a2 pushed by kim-em
August 19, 2024 03:55 1m 36s bump/v4.12.0
bump/v4.12.0
August 19, 2024 03:55 1m 36s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7860: Commit 97b04e3 pushed by leanprover-community-mathlib4-bot
August 19, 2024 02:13 1m 32s lean-pr-testing-5088
lean-pr-testing-5088
August 19, 2024 02:13 1m 32s
upstream perm ci #7859: Commit b8e756b pushed by kim-em
August 19, 2024 02:05 1m 45s nightly-testing
nightly-testing
August 19, 2024 02:05 1m 45s
feat: monadic defs for statically sized vectors ci #7858: Pull request #925 synchronize by Shreyas4991
August 18, 2024 00:33 42s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 18, 2024 00:33 42s
feat: monadic defs for statically sized vectors ci #7857: Pull request #925 synchronize by Shreyas4991
August 18, 2024 00:12 46s Shreyas4991:vector_monadic_defs
Shreyas4991:vector_monadic_defs
August 18, 2024 00:12 46s