Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "add test" continuous integration (mathlib forks) #112268: Commit f257d4b pushed by digama0
July 10, 2024 23:29 13s shake_dup
shake_dup
July 10, 2024 23:29 13s
[Merged by Bors] - fix: handle duplicate constants in shake Label PR based on Comment #28103: Issue comment #14417 (comment) created by digama0
July 10, 2024 23:29 2s
July 10, 2024 23:29 2s
[Merged by Bors] - fix: handle duplicate constants in shake Maintainer merge (comment) #51613: Issue comment #14417 (comment) created by digama0
July 10, 2024 23:29 2s
July 10, 2024 23:29 2s
[Merged by Bors] - fix: handle duplicate constants in shake Add "ready-to-merge" and "delegated" label from comment #47413: Issue comment #14417 (comment) created by digama0
July 10, 2024 23:29 2s
July 10, 2024 23:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #64215: completed by digama0
July 10, 2024 23:27 2s
July 10, 2024 23:27 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #64214: completed by grhkm21
July 10, 2024 23:26 2s
July 10, 2024 23:26 2s
Maintainer merge (review comment) Maintainer merge (review comment) #48500: created by b-mehta
July 10, 2024 23:21 2s
July 10, 2024 23:21 2s
Maintainer merge (review) Maintainer merge (review) #40595: submitted by b-mehta
July 10, 2024 23:21 2s
July 10, 2024 23:21 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35470: submitted by b-mehta
July 10, 2024 23:21 2s
July 10, 2024 23:21 2s
Merge conflicts Merge conflicts #53812: Scheduled
July 10, 2024 23:21 15s master
master
July 10, 2024 23:21 15s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35469: submitted by b-mehta
July 10, 2024 23:20 2s
July 10, 2024 23:20 2s
Maintainer merge (review) Maintainer merge (review) #40594: submitted by b-mehta
July 10, 2024 23:20 2s
July 10, 2024 23:20 2s
Maintainer merge (review comment) Maintainer merge (review comment) #48499: created by b-mehta
July 10, 2024 23:20 2s
July 10, 2024 23:20 2s
Dependent Issues Dependent Issues #54721: Scheduled
July 10, 2024 23:19 2m 14s master
master
July 10, 2024 23:19 2m 14s
Maintainer merge (review comment) Maintainer merge (review comment) #48498: created by b-mehta
July 10, 2024 23:18 2s
July 10, 2024 23:18 2s
Maintainer merge (review) Maintainer merge (review) #40593: submitted by b-mehta
July 10, 2024 23:18 2s
July 10, 2024 23:18 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35468: submitted by b-mehta
July 10, 2024 23:18 2s
July 10, 2024 23:18 2s
[Merged by Bors] - fix: handle duplicate constants in shake Post PR summary comment #6006: Pull request #14417 synchronize by digama0
July 10, 2024 23:18 37s shake_dup
shake_dup
July 10, 2024 23:18 37s
[Merged by Bors] - fix: handle duplicate constants in shake lint and suggest #42392: Pull request #14417 synchronize by digama0
July 10, 2024 23:18 56s shake_dup
shake_dup
July 10, 2024 23:18 56s
[Merged by Bors] - fix: handle duplicate constants in shake Label New Contributors #20122: Pull request #14417 synchronize by digama0
July 10, 2024 23:18 16s shake_dup
shake_dup
July 10, 2024 23:18 16s
add test continuous integration #105908: Commit e99834b pushed by digama0
July 10, 2024 23:18 9m 34s shake_dup
shake_dup
July 10, 2024 23:18 9m 34s
add test continuous integration (mathlib forks) #112267: Commit e99834b pushed by digama0
July 10, 2024 23:18 11s shake_dup
shake_dup
July 10, 2024 23:18 11s
Maintainer merge (review) Maintainer merge (review) #40592: submitted by b-mehta
July 10, 2024 23:17 2s
July 10, 2024 23:17 2s
Maintainer merge (review comment) Maintainer merge (review comment) #48497: created by b-mehta
July 10, 2024 23:17 2s
July 10, 2024 23:17 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35467: submitted by b-mehta
July 10, 2024 23:17 2s
July 10, 2024 23:17 2s