Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
989,032 workflow run results
989,032 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103566: completed by PieterCuijpers
November 22, 2024 23:59 3s
November 22, 2024 23:59 3s
bot fix style (review comment) bot fix style (review comment) #14452: created by eric-wieser
November 22, 2024 23:59 1s
November 22, 2024 23:59 1s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #809: created by eric-wieser
November 22, 2024 23:59 10s
November 22, 2024 23:59 10s
Maintainer merge Maintainer merge #6681: created by eric-wieser
November 22, 2024 23:59 59s
November 22, 2024 23:59 59s
bot fix style (review) bot fix style (review) #10667: submitted by eric-wieser
November 22, 2024 23:59 2s
November 22, 2024 23:59 2s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #808: submitted by eric-wieser
November 22, 2024 23:59 1m 1s
November 22, 2024 23:59 1m 1s
Maintainer merge Maintainer merge #6680: submitted by eric-wieser
November 22, 2024 23:59 1m 1s
November 22, 2024 23:59 1m 1s
chore: make map_ofNat a simp lemma Autolabel PRs #2824: Pull request #19388 opened by eric-wieser
November 22, 2024 23:59 1m 39s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 1m 39s
chore: make map_ofNat a simp lemma lint and suggest #69306: Pull request #19388 opened by eric-wieser
November 22, 2024 23:59 1m 40s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 1m 40s
chore: make map_ofNat a simp lemma Label New Contributors #47062: Pull request #19388 opened by eric-wieser
November 22, 2024 23:59 1m 8s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 1m 8s
chore: make map_ofNat a simp lemma Post PR summary comment #32917: Pull request #19388 opened by eric-wieser
November 22, 2024 23:59 52s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 52s
chore: make map_ofNat a simp lemma continuous integration (mathlib forks) #154486: Commit 28e92f2 pushed by eric-wieser
November 22, 2024 23:59 11s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 11s
chore: make map_ofNat a simp lemma continuous integration #144994: Commit 28e92f2 pushed by eric-wieser
November 22, 2024 23:59 36m 7s eric-wieser/map_ofNat
eric-wieser/map_ofNat
November 22, 2024 23:59 36m 7s
bot fix style (review) bot fix style (review) #10666: submitted by eric-wieser
November 22, 2024 23:57 2s
November 22, 2024 23:57 2s
bot fix style (review comment) bot fix style (review comment) #14451: created by eric-wieser
November 22, 2024 23:57 2s
November 22, 2024 23:57 2s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #806: submitted by eric-wieser
November 22, 2024 23:57 9s
November 22, 2024 23:57 9s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #807: created by eric-wieser
November 22, 2024 23:57 10s
November 22, 2024 23:57 10s
Maintainer merge Maintainer merge #6678: submitted by eric-wieser
November 22, 2024 23:57 11s
November 22, 2024 23:57 11s
Maintainer merge Maintainer merge #6679: created by eric-wieser
November 22, 2024 23:57 15s
November 22, 2024 23:57 15s
Trigger CI for https://github.com/leanprover-community/batteries/pull… continuous integration (mathlib forks) #154485: Commit 8caf321 pushed by leanprover-community-mathlib4-bot
November 22, 2024 23:57 10s batteries-pr-testing-966
batteries-pr-testing-966
November 22, 2024 23:57 10s
Trigger CI for https://github.com/leanprover-community/batteries/pull… continuous integration #144993: Commit 8caf321 pushed by leanprover-community-mathlib4-bot
November 22, 2024 23:57 12m 32s batteries-pr-testing-966
batteries-pr-testing-966
November 22, 2024 23:57 12m 32s
[Merged by Bors] - chore: missing MvPolynomial.eval lemmas lint and suggest #69305: Pull request #19356 synchronize by eric-wieser
November 22, 2024 23:57 1m 31s missing_mv_lemmas
missing_mv_lemmas
November 22, 2024 23:57 1m 31s
[Merged by Bors] - chore: missing MvPolynomial.eval lemmas Post PR summary comment #32916: Pull request #19356 synchronize by eric-wieser
November 22, 2024 23:57 1m 50s missing_mv_lemmas
missing_mv_lemmas
November 22, 2024 23:57 1m 50s
[Merged by Bors] - chore: missing MvPolynomial.eval lemmas Label New Contributors #47061: Pull request #19356 synchronize by eric-wieser
November 22, 2024 23:57 15s missing_mv_lemmas
missing_mv_lemmas
November 22, 2024 23:57 15s
review comments continuous integration (mathlib forks) #154484: Commit 53a186a pushed by eric-wieser
November 22, 2024 23:57 11s missing_mv_lemmas
missing_mv_lemmas
November 22, 2024 23:57 11s