Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
929,193 workflow run results
929,193 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #8542: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #8543: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
Maintainer merge (review) Maintainer merge (review) #53152: submitted by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #47913: submitted by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
bot fix style (review) bot fix style (review) #7557: submitted by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
Maintainer merge (review comment) Maintainer merge (review comment) #65706: created by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
Maintainer merge (review comment) Maintainer merge (review comment) #65708: created by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
bot fix style (review comment) bot fix style (review comment) #10424: created by chrisflav
October 30, 2024 23:57 4s
October 30, 2024 23:57 4s
bot fix style (review comment) bot fix style (review comment) #10428: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
bot fix style (review comment) bot fix style (review comment) #10425: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #8544: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
bot fix style (review comment) bot fix style (review comment) #10426: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
Maintainer merge (review comment) Maintainer merge (review comment) #65707: created by chrisflav
October 30, 2024 23:57 5s
October 30, 2024 23:57 5s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Add "ready-to-merge" and "delegated" label from comment #62531: Issue comment #14539 (comment) created by kim-em
October 30, 2024 23:57 13s
October 30, 2024 23:57 13s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Bench output summary #1384: Issue comment #14539 (comment) created by kim-em
October 30, 2024 23:57 2s
October 30, 2024 23:57 2s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Label PR based on Comment #43221: Issue comment #14539 (comment) created by kim-em
October 30, 2024 23:57 2s
October 30, 2024 23:57 2s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Maintainer merge (comment) #68090: Issue comment #14539 (comment) created by kim-em
October 30, 2024 23:57 2s
October 30, 2024 23:57 2s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README bot fix style (comment) #9728: Issue comment #14539 (comment) created by kim-em
October 30, 2024 23:57 3s
October 30, 2024 23:57 3s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Label New Contributors #41807: Pull request #14539 synchronize by kim-em
October 30, 2024 23:56 23s MR-lint-undocumented-scripts
MR-lint-undocumented-scripts
October 30, 2024 23:56 23s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README Post PR summary comment #27662: Pull request #14539 synchronize by kim-em
October 30, 2024 23:56 49s MR-lint-undocumented-scripts
MR-lint-undocumented-scripts
October 30, 2024 23:56 49s
[Merged by Bors] - chore(scripts): require all scripts to be documented in the README lint and suggest #64051: Pull request #14539 synchronize by kim-em
October 30, 2024 23:56 1m 19s MR-lint-undocumented-scripts
MR-lint-undocumented-scripts
October 30, 2024 23:56 1m 19s
don't put target in the backticks continuous integration (mathlib forks) #146240: Commit fbd5774 pushed by kim-em
October 30, 2024 23:55 14s MR-lint-undocumented-scripts
MR-lint-undocumented-scripts
October 30, 2024 23:55 14s
don't put target in the backticks continuous integration #137401: Commit fbd5774 pushed by kim-em
October 30, 2024 23:55 7m 36s MR-lint-undocumented-scripts
MR-lint-undocumented-scripts
October 30, 2024 23:55 7m 36s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #95948: completed by JLimperg
October 30, 2024 23:55 3s
October 30, 2024 23:55 3s
perf: lower the priority of Normed*.to* instances Label New Contributors #41806: Pull request #18470 synchronize by FR-vdash-bot
October 30, 2024 23:54 11s FR_normed_lower
FR_normed_lower
October 30, 2024 23:54 11s