Skip to content

Actions: leanprover-community/batteries

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
8,879 workflow runs
8,879 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge main into nightly-testing ci #10405: Commit c28dc01 pushed by leanprover-community-mathlib4-bot
January 4, 2025 05:12 40s nightly-testing
nightly-testing
January 4, 2025 05:12 40s
chore: bump toolchain to v4.16.0-rc1 (#1081) ci #10404: Commit 8ce422e pushed by github-merge-queue bot
January 4, 2025 05:12 1m 34s main
main
January 4, 2025 05:12 1m 34s
chore: bump toolchain to v4.16.0-rc1 (#1081) ci #10403: Commit 8ce422e pushed by github-merge-queue bot
January 4, 2025 05:10 1m 35s gh-readonly-queue/main/pr-1081-e8dc5fc16c625fc4fe08f42d625523275ddbbb4b
gh-readonly-queue/main/pr-1081-e8dc5fc16c625fc4fe08f42d625523275ddbbb4b
January 4, 2025 05:10 1m 35s
chore: bump toolchain to v4.16.0-rc1 ci #10402: Pull request #1081 synchronize by kim-em
January 4, 2025 05:08 1m 48s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:08 1m 48s
Merge remote-tracking branch 'origin/bump/v4.16.0' into bump_to_v4.16… ci #10401: Commit fdab112 pushed by kim-em
January 4, 2025 05:08 1m 49s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:08 1m 49s
chore: adaptations for nightly-2025-01-03 (#1082) ci #10400: Commit 4758b74 pushed by kim-em
January 4, 2025 05:04 1m 36s bump/v4.16.0
bump/v4.16.0
January 4, 2025 05:04 1m 36s
chore: adaptations for nightly-2025-01-03 ci #10399: Pull request #1082 synchronize by kim-em
January 4, 2025 04:58 1m 35s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:58 1m 35s
merge bump/v4.16.0 ci #10398: Commit 71c6c40 pushed by kim-em
January 4, 2025 04:58 1m 34s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:58 1m 34s
chore: bump toolchain to v4.15.0 (#1080) ci #10397: Commit e8dc5fc pushed by kim-em
January 4, 2025 04:58 39s bump/v4.16.0
bump/v4.16.0
January 4, 2025 04:58 39s
chore: adaptations for nightly-2025-01-03 ci #10396: Pull request #1082 opened by kim-em
January 4, 2025 04:57 1m 39s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:57 1m 39s
merge lean-pr-testing-6397 ci #10395: Commit 1a27806 pushed by kim-em
January 4, 2025 04:56 1m 34s bump/nightly-2025-01-03
bump/nightly-2025-01-03
January 4, 2025 04:56 1m 34s
chore: bump toolchain to v4.16.0-rc1 ci #10394: Pull request #1081 opened by kim-em
January 4, 2025 04:54 1m 9s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:54 1m 9s
chore: bump toolchain to v4.16.0-rc1 ci #10393: Commit 740ad86 pushed by kim-em
January 4, 2025 04:54 1m 10s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:54 1m 10s
merge v4.15.0 ci #10392: Commit 73f2e52 pushed by kim-em
January 4, 2025 03:21 38s stable
stable
January 4, 2025 03:21 38s
Merge main into nightly-testing ci #10391: Commit 49b33a4 pushed by leanprover-community-mathlib4-bot
January 4, 2025 03:20 49s nightly-testing
nightly-testing
January 4, 2025 03:20 49s
chore: bump toolchain to v4.15.0 (#1080) ci #10390: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:20 1m 35s main
main
January 4, 2025 03:20 1m 35s
chore: bump toolchain to v4.15.0 (#1080) ci #10389: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:18 1m 43s gh-readonly-queue/main/pr-1080-f007bfe46ea8fb801ec907df9ab540054abcc5fd
gh-readonly-queue/main/pr-1080-f007bfe46ea8fb801ec907df9ab540054abcc5fd
January 4, 2025 03:18 1m 43s
chore: bump toolchain to v4.15.0 ci #10388: Pull request #1080 opened by kim-em
January 4, 2025 03:16 1m 34s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:16 1m 34s
chore: bump toolchain to v4.15.0 ci #10387: Commit 5195ab7 pushed by kim-em
January 4, 2025 03:15 1m 38s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:15 1m 38s
Trigger CI for https://github.com/leanprover/lean4/pull/6219 ci #10386: Commit d0b45c5 pushed by leanprover-community-mathlib4-bot
January 3, 2025 22:22 1m 40s lean-pr-testing-6219
lean-pr-testing-6219
January 3, 2025 22:22 1m 40s
Trigger CI for https://github.com/leanprover/lean4/pull/6496 ci #10385: Commit 8d8862e pushed by leanprover-community-mathlib4-bot
January 3, 2025 17:57 1m 54s lean-pr-testing-6496
lean-pr-testing-6496
January 3, 2025 17:57 1m 54s
Trigger CI for https://github.com/leanprover/lean4/pull/6516 ci #10384: Commit fa92588 pushed by leanprover-community-mathlib4-bot
January 3, 2025 15:16 1m 51s lean-pr-testing-6516
lean-pr-testing-6516
January 3, 2025 15:16 1m 51s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #10383: Commit 2bca295 pushed by leanprover-community-mathlib4-bot
January 3, 2025 14:59 1m 55s lean-pr-testing-6516
lean-pr-testing-6516
January 3, 2025 14:59 1m 55s
Trigger CI for https://github.com/leanprover/lean4/pull/6219 ci #10382: Commit 18ce3d5 pushed by leanprover-community-mathlib4-bot
January 3, 2025 10:06 1m 43s lean-pr-testing-6219
lean-pr-testing-6219
January 3, 2025 10:06 1m 43s
Trigger CI for https://github.com/leanprover/lean4/pull/6306 ci #10381: Commit f4b800a pushed by leanprover-community-mathlib4-bot
January 3, 2025 09:43 1m 41s lean-pr-testing-6306
lean-pr-testing-6306
January 3, 2025 09:43 1m 41s