Skip to content

Actions: leanprover-community/batteries

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #22718: Scheduled
11s main
main
11s
feat: limit the use of Classical.choice Label PR based on Comment #2229: Issue comment #1698 (comment) created by fgdorais
1s
1s
feat: add a syntax linter version of the impossibleInstance and nonClassInstance linters Label PR based on Comment #2228: Issue comment #1717 (comment) created by fgdorais
1s
1s
Merge conflicts Merge conflicts #22717: Scheduled
10s main
main
10s
Merge conflicts Merge conflicts #22716: Scheduled
7s main
main
7s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #169: Scheduled
32s main
main
32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16269: completed by mathlib-nightly-testing bot
3s
3s
Test Mathlib Test Mathlib #9774: completed by mathlib-nightly-testing bot
2s
2s
Update lean-toolchain for testing https://github.com/leanprover/lean4… ci #18330: Commit 1a02949 pushed by mathlib-nightly-testing bot
2m 10s lean-pr-testing-13292
lean-pr-testing-13292
2m 10s
feat: add a syntax linter version of the impossibleInstance and nonClassInstance linters Label PR based on Comment #2227: Issue comment #1717 (comment) created by MoritzBeroRoos
2s
2s
Merge conflicts Merge conflicts #22715: Scheduled
13s main
main
13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16268: completed by MoritzBeroRoos
1s
1s
Test Mathlib Test Mathlib #9773: completed by MoritzBeroRoos
1m 17s
1m 17s
feat: add a syntax linter version of the impossibleInstance and nonClassInstance linters ci #18329: Pull request #1717 synchronize by MoritzBeroRoos
49s MoritzBeroRoos:convert_linter
MoritzBeroRoos:convert_linter
49s
Test Mathlib Test Mathlib #9772: completed by MoritzBeroRoos
1m 10s
1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16267: completed by MoritzBeroRoos
1s
1s
feat: add a syntax linter version of the impossibleInstance and nonClassInstance linters ci #18328: Pull request #1717 synchronize by MoritzBeroRoos
50s MoritzBeroRoos:convert_linter
MoritzBeroRoos:convert_linter
50s
Merge conflicts Merge conflicts #22714: Scheduled
12s main
main
12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16266: completed by MoritzBeroRoos
1s
1s
Test Mathlib Test Mathlib #9771: completed by MoritzBeroRoos
1m 10s
1m 10s
feat: add a syntax linter version of the impossibleInstance and nonClassInstance linters ci #18327: Pull request #1717 synchronize by MoritzBeroRoos
53s MoritzBeroRoos:convert_linter
MoritzBeroRoos:convert_linter
53s
Merge conflicts Merge conflicts #22713: Scheduled
8s main
main
8s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #168: Scheduled
34s main
main
34s
Merge conflicts Merge conflicts #22712: Scheduled
9s main
main
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16265: completed by mathlib-nightly-testing bot
1s
1s