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

Trigger CI for https://github.com/leanprover/lean4/pull/5128 ci #7931: Commit 60293fe pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:22 1m 33s lean-pr-testing-5128
lean-pr-testing-5128
August 22, 2024 11:22 1m 33s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7930: Commit ac45237 pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:13 1m 44s lean-pr-testing-5129
lean-pr-testing-5129
August 22, 2024 11:13 1m 44s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7929: Commit d65e97b pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:12 1m 45s lean-pr-testing-5132
lean-pr-testing-5132
August 22, 2024 11:12 1m 45s
Trigger CI for https://github.com/leanprover/lean4/pull/5127 ci #7928: Commit 45744c8 pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:10 1m 26s lean-pr-testing-5127
lean-pr-testing-5127
August 22, 2024 11:10 1m 26s
fix ci #7927: Commit 6e70ada pushed by kim-em
August 22, 2024 11:03 1m 41s lean-pr-testing-5127
lean-pr-testing-5127
August 22, 2024 11:03 1m 41s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7926: Commit 9de8c8c pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:00 1m 32s lean-pr-testing-5130
lean-pr-testing-5130
August 22, 2024 11:00 1m 32s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7925: Commit 65c34ed pushed by leanprover-community-mathlib4-bot
August 22, 2024 11:00 1m 47s lean-pr-testing-5131
lean-pr-testing-5131
August 22, 2024 11:00 1m 47s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7924: Commit 7c88d14 pushed by leanprover-community-mathlib4-bot
August 22, 2024 10:40 1m 8s lean-pr-testing-5127
lean-pr-testing-5127
August 22, 2024 10:40 1m 8s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7923: Commit 5fc01be pushed by leanprover-community-mathlib4-bot
August 22, 2024 10:36 1m 31s lean-pr-testing-5128
lean-pr-testing-5128
August 22, 2024 10:36 1m 31s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7922: Commit 5859a68 pushed by leanprover-community-mathlib4-bot
August 22, 2024 09:15 1m 48s lean-pr-testing-4325
lean-pr-testing-4325
August 22, 2024 09:15 1m 48s
lint ci #7921: Commit 14eda6b pushed by kim-em
August 22, 2024 08:22 1m 1s nightly-testing
nightly-testing
August 22, 2024 08:22 1m 1s
. ci #7920: Commit 4ccb957 pushed by kim-em
August 22, 2024 08:18 1m 31s nightly-testing
nightly-testing
August 22, 2024 08:18 1m 31s
preemptive bump ci #7919: Commit b41336d pushed by kim-em
August 22, 2024 08:06 23s nightly-testing
nightly-testing
August 22, 2024 08:06 23s
feat: runLinter uses withImportModules #[module, Batteries.Tactic.Lint] ci #7918: Pull request #931 opened by kim-em
August 22, 2024 01:54 45s runLinter_import
runLinter_import
August 22, 2024 01:54 45s
build, too ci #7917: Commit 7c38469 pushed by kim-em
August 22, 2024 01:53 53s runLinter_import
runLinter_import
August 22, 2024 01:53 53s
also import Batteries.Tactic.Lint ci #7916: Commit b187647 pushed by kim-em
August 22, 2024 01:46 47s runLinter_import
runLinter_import
August 22, 2024 01:46 47s
Trigger CI for https://github.com/leanprover/lean4/pull/5118 ci #7915: Commit c94e5e9 pushed by leanprover-community-mathlib4-bot
August 21, 2024 19:43 1m 35s lean-pr-testing-5118
lean-pr-testing-5118
August 21, 2024 19:43 1m 35s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7914: Commit d4993c8 pushed by leanprover-community-mathlib4-bot
August 21, 2024 18:24 1m 45s lean-pr-testing-4154
lean-pr-testing-4154
August 21, 2024 18:24 1m 45s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7913: Commit d1f2d49 pushed by leanprover-community-mathlib4-bot
August 21, 2024 18:24 1m 35s lean-pr-testing-5119
lean-pr-testing-5119
August 21, 2024 18:24 1m 35s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7912: Commit 554eaad pushed by leanprover-community-mathlib4-bot
August 21, 2024 18:00 1m 17s lean-pr-testing-5118
lean-pr-testing-5118
August 21, 2024 18:00 1m 17s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7911: Commit 31d997a pushed by leanprover-community-mathlib4-bot
August 21, 2024 17:50 1m 34s lean-pr-testing-4325
lean-pr-testing-4325
August 21, 2024 17:50 1m 34s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7910: Commit 1cc2113 pushed by leanprover-community-mathlib4-bot
August 21, 2024 17:44 1m 34s lean-pr-testing-5117
lean-pr-testing-5117
August 21, 2024 17:44 1m 34s
Trigger CI for https://github.com/leanprover/lean4/pull/4325 ci #7909: Commit 396c689 pushed by leanprover-community-mathlib4-bot
August 21, 2024 13:55 2m 37s lean-pr-testing-4325
lean-pr-testing-4325
August 21, 2024 13:55 2m 37s
merge nightly-testing ci #7908: Commit 1345204 pushed by kim-em
August 21, 2024 10:56 1m 36s bump/nightly-2024-08-21
bump/nightly-2024-08-21
August 21, 2024 10:56 1m 36s
chore: adaptations for nightly-2024-08-21 ci #7907: Pull request #930 opened by kim-em
August 21, 2024 10:56 1m 42s bump/nightly-2024-08-21
bump/nightly-2024-08-21
August 21, 2024 10:56 1m 42s