continuous integration

Actions

All workflows
Workflows
- continuous integration continuous integration
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- Check PR titles Check PR titles
- Check workflows Check workflows
Management
- Caches

continuous integration

Actions

Loading...
Loading

6,746 workflow runs

Update Batteries branch for testing https://github.com/leanprover-com… continuous integration #6746: Commit 4c7d9fe pushed by mathlib-nightly-testing bot

59m 25s batteries-pr-testing-1672

batteries-pr-testing-1672

59m 25s

chore: bump to nightly-2026-02-15-rev1 continuous integration #6745: Commit 8cdd715 pushed by mathlib-nightly-testing bot

1h 1m 25s nightly-testing

nightly-testing

1h 1m 25s

lake update continuous integration #6744: Commit 27844eb pushed by kim-em

2m 58s nightly-testing

nightly-testing

2m 58s

merge lean-pr-testing-12286 continuous integration #6743: Commit d5f7a05 pushed by mathlib-nightly-testing bot

3m 39s nightly-testing

nightly-testing

3m 39s

empty commit to retrigger CI continuous integration #6742: Commit 47811c9 pushed by kim-em

4m 13s nightly-testing

nightly-testing

4m 13s

fix continuous integration #6741: Commit f5364bb pushed by kim-em

58m 44s nightly-testing-green

nightly-testing-green

58m 44s

fix continuous integration #6740: Commit f5364bb pushed by kim-em

49m 8s nightly-testing

nightly-testing

49m 8s

fix continuous integration #6739: Commit 8f7035d pushed by kim-em

7m 28s nightly-testing

nightly-testing

7m 28s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12490 continuous integration #6738: Commit 0e7fd72 pushed by mathlib-nightly-testing bot

1h 0m 30s lean-pr-testing-12490

lean-pr-testing-12490

1h 0m 30s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12490 continuous integration #6737: Commit 45aaa0e pushed by mathlib-nightly-testing bot

1h 9m 0s lean-pr-testing-12490

lean-pr-testing-12490

1h 9m 0s

Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #6736: Commit 0914121 pushed by mathlib-nightly-testing bot

22m 6s lean-pr-testing-12490

lean-pr-testing-12490

22m 6s

fix continuous integration #6735: Commit e1835ce pushed by kim-em

31m 41s nightly-testing

nightly-testing

31m 41s

fix continuous integration #6734: Commit ec04327 pushed by kim-em

8m 23s nightly-testing

nightly-testing

8m 23s

convert #adaptation_note to -- comments for univ_out_params annotations continuous integration #6733: Commit 082d63c pushed by kim-em

51m 8s lean-pr-testing-12286

lean-pr-testing-12286

51m 8s

add library note on universe output parameters, update adaptation notes continuous integration #6732: Commit d61b93d pushed by kim-em

17m 3s lean-pr-testing-12286

lean-pr-testing-12286

17m 3s

add #adaptation_note for @[univ_out_params] annotations continuous integration #6731: Commit 2a27ec7 pushed by kim-em

26m 30s lean-pr-testing-12286

lean-pr-testing-12286

26m 30s

add @[univ_out_params] where universe params are not determined by in… continuous integration #6730: Commit aec008a pushed by kim-em

6m 55s lean-pr-testing-12286

lean-pr-testing-12286

6m 55s

Merge master into nightly-testing continuous integration #6729: Commit 0781dca pushed by mathlib-nightly-testing bot

15m 43s nightly-testing

nightly-testing

15m 43s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11253 continuous integration #6728: Commit c4178c6 pushed by mathlib-nightly-testing bot

1h 0m 32s lean-pr-testing-11253

lean-pr-testing-11253

1h 0m 32s

chore: update batteries for List.reverse_singleton fix continuous integration #6727: Commit 9ca1e39 pushed by kim-em

15m 12s nightly-testing

nightly-testing

15m 12s

Update lean-toolchain for testing https://github.com/leanprover/lean4… continuous integration #6726: Commit a2f67d2 pushed by mathlib-nightly-testing bot

5m 44s lean-pr-testing-12481

lean-pr-testing-12481

5m 44s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11253 continuous integration #6725: Commit 79e195d pushed by mathlib-nightly-testing bot

3m 49s lean-pr-testing-11253

lean-pr-testing-11253

3m 49s

merge lean-pr-testing-11744 continuous integration #6724: Commit f5578e3 pushed by mathlib-nightly-testing bot

4m 43s nightly-testing

nightly-testing

4m 43s

nice, most workarounds not needed with univ_out_params continuous integration #6723: Commit 32ff989 pushed by kim-em

36m 30s lean-pr-testing-12286

lean-pr-testing-12286

36m 30s

Merge master into nightly-testing continuous integration #6722: Commit 2535e4c pushed by mathlib-nightly-testing bot

4m 26s nightly-testing

nightly-testing

4m 26s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management