Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
792,270 workflow run results
792,270 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into transcendental continuous integration #144030: Commit f7fa7fd pushed by Ruben-VandeVelde
November 19, 2024 19:49 20m 25s transcendental
transcendental
November 19, 2024 19:49 20m 25s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure Bench output summary #4585: Issue comment #19065 (comment) created by mattrobball
November 19, 2024 19:49 2s
November 19, 2024 19:49 2s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure bot fix style (comment) #13178: Issue comment #19065 (comment) created by mattrobball
November 19, 2024 19:49 2s
November 19, 2024 19:49 2s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure Label PR based on Comment #46422: Issue comment #19065 (comment) created by mattrobball
November 19, 2024 19:49 3s
November 19, 2024 19:49 3s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure Add "ready-to-merge" and "delegated" label from comment #65732: Issue comment #19065 (comment) created by mattrobball
November 19, 2024 19:49 3s
November 19, 2024 19:49 3s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure Maintainer merge #5428: Issue comment #19065 (comment) created by mattrobball
November 19, 2024 19:49 15s
November 19, 2024 19:49 15s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure bot fix style (comment) #13177: Issue comment #19065 (comment) edited by mattrobball
November 19, 2024 19:48 2s
November 19, 2024 19:48 2s
[Merged by Bors] - refactor(Algebra/Category): turn homs in AlgebraCat into a structure Maintainer merge #5427: Issue comment #19065 (comment) edited by mattrobball
November 19, 2024 19:48 14s
November 19, 2024 19:48 14s
Maintainer merge Maintainer merge #5426: created by mattrobball
November 19, 2024 19:48 12s
November 19, 2024 19:48 12s
Maintainer merge Maintainer merge #5425: submitted by mattrobball
November 19, 2024 19:48 12s
November 19, 2024 19:48 12s
bot fix style (review) bot fix style (review) #10288: submitted by mattrobball
November 19, 2024 19:48 2s
November 19, 2024 19:48 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50644: submitted by mattrobball
November 19, 2024 19:48 2s
November 19, 2024 19:48 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #11924: created by mattrobball
November 19, 2024 19:48 2s
November 19, 2024 19:48 2s
bot fix style (review comment) bot fix style (review comment) #14027: created by mattrobball
November 19, 2024 19:48 3s
November 19, 2024 19:48 3s
Merge conflicts Merge conflicts #65580: Scheduled
November 19, 2024 19:48 21s master
master
November 19, 2024 19:48 21s
[Merged by Bors] - feat: #parse -- a command to parse text and log outputs Label New Contributors #46464: Pull request #16305 synchronize by adomani
November 19, 2024 19:48 14s adomani/capture_exceptions
adomani/capture_exceptions
November 19, 2024 19:48 14s
[Merged by Bors] - feat: #parse -- a command to parse text and log outputs Post PR summary comment #32319: Pull request #16305 synchronize by adomani
November 19, 2024 19:48 50s adomani/capture_exceptions
adomani/capture_exceptions
November 19, 2024 19:48 50s
[Merged by Bors] - feat: #parse -- a command to parse text and log outputs lint and suggest #68708: Pull request #16305 synchronize by adomani
November 19, 2024 19:48 1m 25s adomani/capture_exceptions
adomani/capture_exceptions
November 19, 2024 19:48 1m 25s
import Mathlib.Init continuous integration #144029: Commit 03bcfbc pushed by adomani
November 19, 2024 19:48 8m 13s adomani/capture_exceptions
adomani/capture_exceptions
November 19, 2024 19:48 8m 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #102596: completed by adomani
November 19, 2024 19:48 3s
November 19, 2024 19:48 3s
import Mathlib.Init continuous integration (mathlib forks) #153448: Commit 03bcfbc pushed by adomani
November 19, 2024 19:48 14s adomani/capture_exceptions
adomani/capture_exceptions
November 19, 2024 19:48 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #102595: completed by adomani
November 19, 2024 19:48 2s
November 19, 2024 19:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #102594: completed by adomani
November 19, 2024 19:47 2s
November 19, 2024 19:47 2s
[Merged by Bors] - chore: delete unused private lemma in Complex/exponential lint and suggest #68707: Pull request #19263 opened by ChrisHughes24
November 19, 2024 19:47 1m 27s expCHDelete
expCHDelete
November 19, 2024 19:47 1m 27s
[Merged by Bors] - chore: delete unused private lemma in Complex/exponential Label New Contributors #46463: Pull request #19263 opened by ChrisHughes24
November 19, 2024 19:47 13s expCHDelete
expCHDelete
November 19, 2024 19:47 13s