Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
985,559 workflow run results
985,559 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103565: completed by winstonyin
November 22, 2024 23:55 2s
November 22, 2024 23:55 2s
bot fix style (review comment) bot fix style (review comment) #14450: edited by eric-wieser
November 22, 2024 23:52 1s
November 22, 2024 23:52 1s
Maintainer merge Maintainer merge #6677: edited by eric-wieser
November 22, 2024 23:52 11s
November 22, 2024 23:52 11s
[Merged by Bors] - feat: Sedrakyan's lemma Post PR summary comment #32915: Pull request #19311 synchronize by vihdzp
November 22, 2024 23:50 48s vi.sedrakyan
vi.sedrakyan
November 22, 2024 23:50 48s
[Merged by Bors] - feat: Sedrakyan's lemma Label New Contributors #47060: Pull request #19311 synchronize by vihdzp
November 22, 2024 23:50 1m 5s vi.sedrakyan
vi.sedrakyan
November 22, 2024 23:50 1m 5s
[Merged by Bors] - feat: Sedrakyan's lemma lint and suggest #69304: Pull request #19311 synchronize by vihdzp
November 22, 2024 23:50 1m 24s vi.sedrakyan
vi.sedrakyan
November 22, 2024 23:50 1m 24s
fix continuous integration (mathlib forks) #154483: Commit a0fa1f1 pushed by vihdzp
November 22, 2024 23:50 59s vi.sedrakyan
vi.sedrakyan
November 22, 2024 23:50 59s
fix continuous integration #144991: Commit a0fa1f1 pushed by vihdzp
November 22, 2024 23:50 37m 21s vi.sedrakyan
vi.sedrakyan
November 22, 2024 23:50 37m 21s
bot fix style (review comment) bot fix style (review comment) #14449: created by eric-wieser
November 22, 2024 23:50 2s
November 22, 2024 23:50 2s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #805: created by eric-wieser
November 22, 2024 23:50 1m 4s
November 22, 2024 23:50 1m 4s
Maintainer merge Maintainer merge #6676: created by eric-wieser
November 22, 2024 23:50 1m 1s
November 22, 2024 23:50 1m 1s
bot fix style (review) bot fix style (review) #10665: submitted by eric-wieser
November 22, 2024 23:50 3s
November 22, 2024 23:50 3s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #804: submitted by eric-wieser
November 22, 2024 23:50 13s
November 22, 2024 23:50 13s
Maintainer merge Maintainer merge #6675: submitted by eric-wieser
November 22, 2024 23:50 11s
November 22, 2024 23:50 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103563: completed by winstonyin
November 22, 2024 23:49 2s
November 22, 2024 23:49 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103564: completed by Ruben-VandeVelde
November 22, 2024 23:49 3s
November 22, 2024 23:49 3s
Merge conflicts Merge conflicts #65857: Scheduled
November 22, 2024 23:48 15s master
master
November 22, 2024 23:48 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103562: completed by Whysoserioushah
November 22, 2024 23:47 2s
November 22, 2024 23:47 2s
bot fix style (review comment) bot fix style (review comment) #14448: created by eric-wieser
November 22, 2024 23:46 2s
November 22, 2024 23:46 2s
bot fix style (review) bot fix style (review) #10664: submitted by eric-wieser
November 22, 2024 23:46 3s
November 22, 2024 23:46 3s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #802: submitted by eric-wieser
November 22, 2024 23:46 11s
November 22, 2024 23:46 11s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #803: created by eric-wieser
November 22, 2024 23:46 13s
November 22, 2024 23:46 13s
Maintainer merge Maintainer merge #6673: submitted by eric-wieser
November 22, 2024 23:46 16s
November 22, 2024 23:46 16s
Maintainer merge Maintainer merge #6674: created by eric-wieser
November 22, 2024 23:46 1m 1s
November 22, 2024 23:46 1m 1s