Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
887,758 workflow run results
887,758 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2024-10-19 continuous integration #133714: Commit 1f162b6 pushed by kim-em
October 20, 2024 22:00 22m 10s bump/nightly-2024-10-19
bump/nightly-2024-10-19
October 20, 2024 22:00 22m 10s
[Merged by Bors] - chore: use newly introduced finset notation Label New Contributors #39231: Pull request #17974 synchronize by YaelDillies
October 20, 2024 22:00 22s use_finset_notation
use_finset_notation
October 20, 2024 22:00 22s
[Merged by Bors] - chore: use newly introduced finset notation Post PR summary comment #25086: Pull request #17974 synchronize by YaelDillies
October 20, 2024 22:00 47s use_finset_notation
use_finset_notation
October 20, 2024 22:00 47s
[Merged by Bors] - chore: use newly introduced finset notation lint and suggest #61475: Pull request #17974 synchronize by YaelDillies
October 20, 2024 22:00 1m 15s use_finset_notation
use_finset_notation
October 20, 2024 22:00 1m 15s
chore: use newly introduced finset notation continuous integration (mathlib forks) #142232: Commit 691edec pushed by YaelDillies
October 20, 2024 22:00 9s use_finset_notation
use_finset_notation
October 20, 2024 22:00 9s
chore: use newly introduced finset notation continuous integration #133713: Commit 691edec pushed by YaelDillies
October 20, 2024 22:00 10m 8s use_finset_notation
use_finset_notation
October 20, 2024 22:00 10m 8s
Maintainer merge (review comment) Maintainer merge (review comment) #63806: created by grunweg
October 20, 2024 22:00 2s
October 20, 2024 22:00 2s
bot fix style (review comment) bot fix style (review comment) #8524: created by grunweg
October 20, 2024 22:00 2s
October 20, 2024 22:00 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46465: submitted by grunweg
October 20, 2024 22:00 2s
October 20, 2024 22:00 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6743: created by grunweg
October 20, 2024 22:00 3s
October 20, 2024 22:00 3s
bot fix style (review) bot fix style (review) #6109: submitted by grunweg
October 20, 2024 22:00 2s
October 20, 2024 22:00 2s
Maintainer merge (review) Maintainer merge (review) #51704: submitted by grunweg
October 20, 2024 22:00 22s
October 20, 2024 22:00 22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92242: completed by bjoernkjoshanssen
October 20, 2024 21:59 1s
October 20, 2024 21:59 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92241: completed by bjoernkjoshanssen
October 20, 2024 21:59 2s
October 20, 2024 21:59 2s
resolve conflicts continuous integration (mathlib forks) #142231: Commit 5b9fbb5 pushed by kim-em
October 20, 2024 21:59 9s bump/v4.14.0
bump/v4.14.0
October 20, 2024 21:59 9s
resolve conflicts continuous integration #133712: Commit 5b9fbb5 pushed by kim-em
October 20, 2024 21:59 3h 50m 39s bump/v4.14.0
bump/v4.14.0
October 20, 2024 21:59 3h 50m 39s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92240: completed by mans0954
October 20, 2024 21:59 2s
October 20, 2024 21:59 2s
bot fix style (review comment) bot fix style (review comment) #8523: edited by bjoernkjoshanssen
October 20, 2024 21:58 1s
October 20, 2024 21:58 1s
Maintainer merge (review comment) Maintainer merge (review comment) #63805: edited by bjoernkjoshanssen
October 20, 2024 21:58 1s
October 20, 2024 21:58 1s
Merge branch 'master' into bjoernkjoshanssen_1st_deriv_test continuous integration (mathlib forks) #142230: Commit 8bfbec4 pushed by bjoernkjoshanssen
October 20, 2024 21:58 11s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 11s
Merge branch 'master' into bjoernkjoshanssen_1st_deriv_test Autolabel PRs #1247: Commit 8bfbec4 pushed by bjoernkjoshanssen
October 20, 2024 21:58 58s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 58s
Merge branch 'master' into bjoernkjoshanssen_1st_deriv_test continuous integration #133711: Commit 8bfbec4 pushed by bjoernkjoshanssen
October 20, 2024 21:58 1m 17s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 1m 17s
[Merged by Bors] - feat: add First Derivative Test from calculus Label New Contributors #39230: Pull request #16802 synchronize by bjoernkjoshanssen
October 20, 2024 21:58 10s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 10s
[Merged by Bors] - feat: add First Derivative Test from calculus Post PR summary comment #25085: Pull request #16802 synchronize by bjoernkjoshanssen
October 20, 2024 21:58 46s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 46s
[Merged by Bors] - feat: add First Derivative Test from calculus lint and suggest #61474: Pull request #16802 synchronize by bjoernkjoshanssen
October 20, 2024 21:58 1m 18s bjoernkjoshanssen_1st_deriv_test
bjoernkjoshanssen_1st_deriv_test
October 20, 2024 21:58 1m 18s