Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
608,377 workflow run results
608,377 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(CategoryTheory): Beck's comonadicity theorem Label New Contributors #20119: Pull request #14238 synchronize by mckoen
July 10, 2024 22:30 13s mckoen/AIM_comonadicity3
mckoen/AIM_comonadicity3
July 10, 2024 22:30 13s
[Merged by Bors] - feat(CategoryTheory): Beck's comonadicity theorem Post PR summary comment #6003: Pull request #14238 synchronize by mckoen
July 10, 2024 22:30 37s mckoen/AIM_comonadicity3
mckoen/AIM_comonadicity3
July 10, 2024 22:30 37s
[Merged by Bors] - feat(CategoryTheory): Beck's comonadicity theorem lint and suggest #42389: Pull request #14238 synchronize by mckoen
July 10, 2024 22:30 54s mckoen/AIM_comonadicity3
mckoen/AIM_comonadicity3
July 10, 2024 22:30 54s
fix docstrings and tidy continuous integration (mathlib forks) #112262: Commit c86d3f1 pushed by mckoen
July 10, 2024 22:30 11s mckoen/AIM_comonadicity3
mckoen/AIM_comonadicity3
July 10, 2024 22:30 11s
fix docstrings and tidy continuous integration #105903: Commit c86d3f1 pushed by mckoen
July 10, 2024 22:30 10m 16s mckoen/AIM_comonadicity3
mckoen/AIM_comonadicity3
July 10, 2024 22:30 10m 16s
[Merged by Bors] - fix: rewrite update_dependencies_zulip action Label PR based on Comment #28099: Issue comment #14630 (comment) created by mathlib-bors bot
July 10, 2024 22:25 2s
July 10, 2024 22:25 2s
[Merged by Bors] - fix: rewrite update_dependencies_zulip action Maintainer merge (comment) #51609: Issue comment #14630 (comment) created by mathlib-bors bot
July 10, 2024 22:25 2s
July 10, 2024 22:25 2s
[Merged by Bors] - fix: rewrite update_dependencies_zulip action Add "ready-to-merge" and "delegated" label from comment #47409: Issue comment #14630 (comment) created by mathlib-bors bot
July 10, 2024 22:25 2s
July 10, 2024 22:25 2s
fix: rewrite update_dependencies_zulip action (#14630) continuous integration (mathlib forks) #112261: Commit fdc4c84 pushed by mathlib-bors bot
July 10, 2024 22:25 11s master
master
July 10, 2024 22:25 11s
fix: rewrite update_dependencies_zulip action (#14630) Check workflows #1065: Commit fdc4c84 pushed by mathlib-bors bot
July 10, 2024 22:25 19s master
master
July 10, 2024 22:25 19s
fix: rewrite update_dependencies_zulip action (#14630) continuous integration #105902: Commit fdc4c84 pushed by mathlib-bors bot
July 10, 2024 22:25 9m 43s master
master
July 10, 2024 22:25 9m 43s
Maintainer merge (review comment) Maintainer merge (review comment) #48493: created by Rida-Hamadani
July 10, 2024 22:24 2s
July 10, 2024 22:24 2s
Maintainer merge (review) Maintainer merge (review) #40588: submitted by Rida-Hamadani
July 10, 2024 22:24 2s
July 10, 2024 22:24 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35463: submitted by Rida-Hamadani
July 10, 2024 22:24 3s
July 10, 2024 22:24 3s
Merge conflicts Merge conflicts #53808: Scheduled
July 10, 2024 22:22 10m 27s master
master
July 10, 2024 22:22 10m 27s
Dependent Issues Dependent Issues #54717: Scheduled
July 10, 2024 22:19 2m 24s master
master
July 10, 2024 22:19 2m 24s
[Merged by Bors] - feat(ENNReal): ENNReal.rpow_inv_lt_iff Post PR summary comment #6002: Pull request #14570 synchronize by igorkhavkine
July 10, 2024 22:15 44s igorkhavkine/rpow_inv_lt_iff
igorkhavkine/rpow_inv_lt_iff
July 10, 2024 22:15 44s
[Merged by Bors] - feat(ENNReal): ENNReal.rpow_inv_lt_iff lint and suggest #42388: Pull request #14570 synchronize by igorkhavkine
July 10, 2024 22:15 56s igorkhavkine/rpow_inv_lt_iff
igorkhavkine/rpow_inv_lt_iff
July 10, 2024 22:15 56s
[Merged by Bors] - feat(ENNReal): ENNReal.rpow_inv_lt_iff Label New Contributors #20118: Pull request #14570 synchronize by igorkhavkine
July 10, 2024 22:15 17s igorkhavkine/rpow_inv_lt_iff
igorkhavkine/rpow_inv_lt_iff
July 10, 2024 22:15 17s
fix: rewrite update_dependencies_zulip action (#14630) continuous integration (staging) #9031: Commit fdc4c84 pushed by mathlib-bors bot
July 10, 2024 22:15 9m 52s staging
staging
July 10, 2024 22:15 9m 52s
Pow/NNReal.lean: deprecated one_div in favor of inv. continuous integration #105901: Commit 93074b5 pushed by igorkhavkine
July 10, 2024 22:15 17m 4s igorkhavkine/rpow_inv_lt_iff
igorkhavkine/rpow_inv_lt_iff
July 10, 2024 22:15 17m 4s
fix: rewrite update_dependencies_zulip action (#14630) continuous integration (mathlib forks) #112259: Commit fdc4c84 pushed by mathlib-bors bot
July 10, 2024 22:15 12s staging
staging
July 10, 2024 22:15 12s
Pow/NNReal.lean: deprecated one_div in favor of inv. continuous integration (mathlib forks) #112260: Commit 93074b5 pushed by igorkhavkine
July 10, 2024 22:15 11s igorkhavkine/rpow_inv_lt_iff
igorkhavkine/rpow_inv_lt_iff
July 10, 2024 22:15 11s
[Merged by Bors] - fix: rewrite update_dependencies_zulip action Label PR based on Comment #28098: Issue comment #14630 (comment) created by kim-em
July 10, 2024 22:15 2s
July 10, 2024 22:15 2s
[Merged by Bors] - fix: rewrite update_dependencies_zulip action Maintainer merge (comment) #51608: Issue comment #14630 (comment) created by kim-em
July 10, 2024 22:15 2s
July 10, 2024 22:15 2s