Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trigger CI for https://github.com/leanprover/lean4/pull/5149 ci #7956: Commit cb37c67 pushed by leanprover-community-mathlib4-bot
August 24, 2024 12:02 1m 29s lean-pr-testing-5149
lean-pr-testing-5149
August 24, 2024 12:02 1m 29s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7955: Commit 71d8f26 pushed by leanprover-community-mathlib4-bot
August 24, 2024 11:36 1m 43s lean-pr-testing-5149
lean-pr-testing-5149
August 24, 2024 11:36 1m 43s
Trigger CI for https://github.com/leanprover/lean4/pull/5129 ci #7954: Commit 4e27c1d pushed by leanprover-community-mathlib4-bot
August 24, 2024 11:25 1m 33s lean-pr-testing-5129
lean-pr-testing-5129
August 24, 2024 11:25 1m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7953: Commit 1d8b877 pushed by leanprover-community-mathlib4-bot
August 24, 2024 10:41 1m 36s lean-pr-testing-5141
lean-pr-testing-5141
August 24, 2024 10:41 1m 36s
chore: bump to nightly-2024-08-24 ci #7952: Commit bfc016f pushed by leanprover-community-mathlib4-bot
August 24, 2024 09:05 1m 44s nightly-testing
nightly-testing
August 24, 2024 09:05 1m 44s
Trigger CI for https://github.com/leanprover/lean4/pull/5020 ci #7951: Commit 4057023 pushed by leanprover-community-mathlib4-bot
August 24, 2024 08:17 1m 30s lean-pr-testing-5020
lean-pr-testing-5020
August 24, 2024 08:17 1m 30s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7950: Commit fabb102 pushed by leanprover-community-mathlib4-bot
August 23, 2024 13:04 1m 28s lean-pr-testing-4305
lean-pr-testing-4305
August 23, 2024 13:04 1m 28s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7949: Commit 06ec764 pushed by leanprover-community-mathlib4-bot
August 23, 2024 09:15 1m 31s lean-pr-testing-4325
lean-pr-testing-4325
August 23, 2024 09:15 1m 31s
chore: bump to nightly-2024-08-23 ci #7948: Commit 1a8f167 pushed by leanprover-community-mathlib4-bot
August 23, 2024 09:05 1m 29s nightly-testing
nightly-testing
August 23, 2024 09:05 1m 29s
Trigger CI for https://github.com/leanprover/lean4/pull/5020 ci #7947: Commit 77dde06 pushed by leanprover-community-mathlib4-bot
August 23, 2024 08:57 1m 40s lean-pr-testing-5020
lean-pr-testing-5020
August 23, 2024 08:57 1m 40s
Trigger CI for https://github.com/leanprover/lean4/pull/5020 ci #7946: Commit d7ab32e pushed by leanprover-community-mathlib4-bot
August 23, 2024 07:14 1m 34s lean-pr-testing-5020
lean-pr-testing-5020
August 23, 2024 07:14 1m 34s
. ci #7945: Commit ea2840b pushed by kim-em
August 23, 2024 03:13 1m 34s lean-pr-testing-5133
lean-pr-testing-5133
August 23, 2024 03:13 1m 34s
feat: #where supports weak options ci #7944: Pull request #932 opened by digama0
August 22, 2024 16:47 57s where_missing
where_missing
August 22, 2024 16:47 57s
feat: #where supports weak options ci #7943: Commit eeedc22 pushed by digama0
August 22, 2024 16:46 45s where_missing
where_missing
August 22, 2024 16:46 45s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7942: Commit e3a7be3 pushed by leanprover-community-mathlib4-bot
August 22, 2024 16:46 1m 37s lean-pr-testing-4325
lean-pr-testing-4325
August 22, 2024 16:46 1m 37s
Trigger CI for https://github.com/leanprover/lean4/pull/5136 ci #7941: Commit 016f969 pushed by leanprover-community-mathlib4-bot
August 22, 2024 14:27 1m 39s lean-pr-testing-5136
lean-pr-testing-5136
August 22, 2024 14:27 1m 39s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7940: Commit 612cd90 pushed by leanprover-community-mathlib4-bot
August 22, 2024 14:23 3m 13s lean-pr-testing-5138
lean-pr-testing-5138
August 22, 2024 14:23 3m 13s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7939: Commit cb904e7 pushed by leanprover-community-mathlib4-bot
August 22, 2024 14:14 1m 33s lean-pr-testing-5136
lean-pr-testing-5136
August 22, 2024 14:14 1m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7938: Commit ded5501 pushed by leanprover-community-mathlib4-bot
August 22, 2024 13:04 1m 43s lean-pr-testing-5125
lean-pr-testing-5125
August 22, 2024 13:04 1m 43s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7937: Commit dd32b3a pushed by leanprover-community-mathlib4-bot
August 22, 2024 13:02 1m 5s lean-pr-testing-5133
lean-pr-testing-5133
August 22, 2024 13:02 1m 5s
Trigger CI for https://github.com/leanprover/lean4/pull/5127 ci #7936: Commit 53c8df6 pushed by leanprover-community-mathlib4-bot
August 22, 2024 12:27 1m 26s lean-pr-testing-5127
lean-pr-testing-5127
August 22, 2024 12:27 1m 26s
Trigger CI for https://github.com/leanprover/lean4/pull/5129 ci #7935: Commit a64c8d6 pushed by leanprover-community-mathlib4-bot
August 22, 2024 12:13 57s lean-pr-testing-5129
lean-pr-testing-5129
August 22, 2024 12:13 57s
Trigger CI for https://github.com/leanprover/lean4/pull/5127 ci #7934: Commit bdf3136 pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:45 1m 24s lean-pr-testing-5127
lean-pr-testing-5127
August 22, 2024 11:45 1m 24s
Trigger CI for https://github.com/leanprover/lean4/pull/5131 ci #7933: Commit f16ecff pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:41 1m 37s lean-pr-testing-5131
lean-pr-testing-5131
August 22, 2024 11:41 1m 37s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7932: Commit 2806fac pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:23 1m 33s lean-pr-testing-4154
lean-pr-testing-4154
August 22, 2024 11:23 1m 33s