Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main' into bump/v4.12.0 ci #7906: Commit 4906af0 pushed by kim-em
August 21, 2024 10:55 1m 38s bump/nightly-2024-08-21
bump/nightly-2024-08-21
August 21, 2024 10:55 1m 38s
Merge remote-tracking branch 'origin/main' into bump/v4.12.0 ci #7905: Commit 4906af0 pushed by kim-em
August 21, 2024 10:55 1m 28s bump/v4.12.0
bump/v4.12.0
August 21, 2024 10:55 1m 28s
chore: adaptations for nightly-2024-08-20 (#927) ci #7904: Commit 40f81a6 pushed by kim-em
August 21, 2024 10:54 1m 27s bump/v4.12.0
bump/v4.12.0
August 21, 2024 10:54 1m 27s
merge lean-pr-testing-5104 ci #7903: Commit 2b03b14 pushed by kim-em
August 21, 2024 10:54 45s nightly-testing
nightly-testing
August 21, 2024 10:54 45s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7902: Commit d8c263f pushed by leanprover-community-mathlib4-bot
August 21, 2024 09:57 1m 52s lean-pr-testing-4154
lean-pr-testing-4154
August 21, 2024 09:57 1m 52s
Trigger CI for https://github.com/leanprover/lean4/pull/4154 ci #7901: Commit 27b39d1 pushed by leanprover-community-mathlib4-bot
August 21, 2024 09:38 59s lean-pr-testing-4154
lean-pr-testing-4154
August 21, 2024 09:38 59s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7900: Commit fade9f8 pushed by leanprover-community-mathlib4-bot
August 21, 2024 09:21 1m 36s lean-pr-testing-5109
lean-pr-testing-5109
August 21, 2024 09:21 1m 36s
chore: bump to nightly-2024-08-21 ci #7899: Commit c723c45 pushed by leanprover-community-mathlib4-bot
August 21, 2024 09:05 1m 36s nightly-testing
nightly-testing
August 21, 2024 09:05 1m 36s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7898: Commit 11dc816 pushed by leanprover-community-mathlib4-bot
August 21, 2024 03:04 1m 37s lean-pr-testing-5107
lean-pr-testing-5107
August 21, 2024 03:04 1m 37s
chore: make proofs robust to incoming changes ci #7897: Pull request #929 opened by kim-em
August 21, 2024 02:57 1m 1s robustify_for_5102
robustify_for_5102
August 21, 2024 02:57 1m 1s
fix proof ci #7896: Commit 6c79dc2 pushed by kim-em
August 21, 2024 02:57 54s robustify_for_5102
robustify_for_5102
August 21, 2024 02:57 54s
Trigger CI for https://github.com/leanprover/lean4/pull/5104 ci #7895: Commit e762d01 pushed by leanprover-community-mathlib4-bot
August 21, 2024 02:56 1m 36s lean-pr-testing-5104
lean-pr-testing-5104
August 21, 2024 02:56 1m 36s
fix proof ci #7894: Commit 63335de pushed by kim-em
August 21, 2024 02:52 1m 28s lean-pr-testing-5102
lean-pr-testing-5102
August 21, 2024 02:52 1m 28s
fix ci #7893: Commit af11ce5 pushed by kim-em
August 21, 2024 02:50 1m 8s lean-pr-testing-5102
lean-pr-testing-5102
August 21, 2024 02:50 1m 8s
Merge main into nightly-testing ci #7892: Commit 67ec406 pushed by leanprover-community-mathlib4-bot
August 21, 2024 02:45 48s nightly-testing
nightly-testing
August 21, 2024 02:45 48s
chore: make some proofs more robust (#928) ci #7891: Commit d747f07 pushed by kim-em
August 21, 2024 02:44 50s main
main
August 21, 2024 02:44 50s
Trigger CI for https://github.com/leanprover/lean4/pull/5104 ci #7890: Commit ea96c1d pushed by leanprover-community-mathlib4-bot
August 21, 2024 02:35 1m 37s lean-pr-testing-5104
lean-pr-testing-5104
August 21, 2024 02:35 1m 37s
chore: make some proofs more robust ci #7889: Pull request #928 opened by kim-em
August 21, 2024 02:29 56s simp_only_string
simp_only_string
August 21, 2024 02:29 56s
simp only ci #7888: Commit 85bbab3 pushed by kim-em
August 21, 2024 02:28 59s simp_only_string
simp_only_string
August 21, 2024 02:28 59s
simp only ci #7887: Commit dc60467 pushed by kim-em
August 21, 2024 02:28 1m 32s lean-pr-testing-5104
lean-pr-testing-5104
August 21, 2024 02:28 1m 32s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7886: Commit d2c9bdf pushed by leanprover-community-mathlib4-bot
August 21, 2024 02:05 1m 36s lean-pr-testing-5106
lean-pr-testing-5106
August 21, 2024 02:05 1m 36s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7885: Commit 590a86c pushed by leanprover-community-mathlib4-bot
August 21, 2024 02:00 1m 18s lean-pr-testing-5104
lean-pr-testing-5104
August 21, 2024 02:00 1m 18s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7884: Commit abebf23 pushed by leanprover-community-mathlib4-bot
August 21, 2024 01:57 1m 36s lean-pr-testing-5105
lean-pr-testing-5105
August 21, 2024 01:57 1m 36s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7883: Commit f909f9e pushed by leanprover-community-mathlib4-bot
August 21, 2024 01:49 1m 16s lean-pr-testing-5102
lean-pr-testing-5102
August 21, 2024 01:49 1m 16s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #7882: Commit d44f0bd pushed by leanprover-community-mathlib4-bot
August 21, 2024 01:48 1m 31s lean-pr-testing-5103
lean-pr-testing-5103
August 21, 2024 01:48 1m 31s