Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
765,207 workflow run results
765,207 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #86887: completed by adomani
October 1, 2024 23:45 2s
October 1, 2024 23:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #86886: completed by adomani
October 1, 2024 23:38 2s
October 1, 2024 23:38 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #86885: completed by adomani
October 1, 2024 23:34 2s
October 1, 2024 23:34 2s
Merge conflicts Merge conflicts #61264: Scheduled
October 1, 2024 23:34 4m 18s master
master
October 1, 2024 23:34 4m 18s
Dependent Issues Dependent Issues #62319: Scheduled
October 1, 2024 23:31 5m 1s master
master
October 1, 2024 23:31 5m 1s
[Merged by Bors] - feat: the multiGoal linter Label New Contributors #35526: Pull request #12339 synchronize by adomani
October 1, 2024 23:30 15s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 1, 2024 23:30 15s
[Merged by Bors] - feat: the multiGoal linter Post PR summary comment #21381: Pull request #12339 synchronize by adomani
October 1, 2024 23:30 48s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 1, 2024 23:30 48s
[Merged by Bors] - feat: the multiGoal linter lint and suggest #57770: Pull request #12339 synchronize by adomani
October 1, 2024 23:30 1m 13s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 1, 2024 23:30 1m 13s
Merge branch 'adomani/add_a_focusing_dot' into adomani/lint_multiple_… continuous integration (mathlib forks) #136465: Commit 801bd98 pushed by adomani
October 1, 2024 23:30 10s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 1, 2024 23:30 10s
Merge branch 'adomani/add_a_focusing_dot' into adomani/lint_multiple_… continuous integration #128383: Commit 801bd98 pushed by adomani
October 1, 2024 23:30 42m 13s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 1, 2024 23:30 42m 13s
[Merged by Bors] - chore: add a focusing dot lint and suggest #57769: Pull request #17346 synchronize by adomani
October 1, 2024 23:28 1m 14s adomani/add_a_focusing_dot
adomani/add_a_focusing_dot
October 1, 2024 23:28 1m 14s
[Merged by Bors] - chore: add a focusing dot Post PR summary comment #21380: Pull request #17346 synchronize by adomani
October 1, 2024 23:28 42s adomani/add_a_focusing_dot
adomani/add_a_focusing_dot
October 1, 2024 23:28 42s
[Merged by Bors] - chore: add a focusing dot Label New Contributors #35525: Pull request #17346 synchronize by adomani
October 1, 2024 23:28 15s adomani/add_a_focusing_dot
adomani/add_a_focusing_dot
October 1, 2024 23:28 15s
Laurent continuous integration (mathlib forks) #136464: Commit 1f13179 pushed by adomani
October 1, 2024 23:28 13s adomani/add_a_focusing_dot
adomani/add_a_focusing_dot
October 1, 2024 23:28 13s
Laurent continuous integration #128382: Commit 1f13179 pushed by adomani
October 1, 2024 23:28 9m 51s adomani/add_a_focusing_dot
adomani/add_a_focusing_dot
October 1, 2024 23:28 9m 51s
Merge conflicts Merge conflicts #61263: Scheduled
October 1, 2024 23:22 10m 28s master
master
October 1, 2024 23:22 10m 28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #86884: completed by fpvandoorn
October 1, 2024 23:21 2s
October 1, 2024 23:21 2s
Dependent Issues Dependent Issues #62318: Scheduled
October 1, 2024 23:20 11s master
master
October 1, 2024 23:20 11s
bot fix style (review comment) bot fix style (review comment) #5331: created by Vtec234
October 1, 2024 23:16 2s
October 1, 2024 23:16 2s
bot fix style (review) bot fix style (review) #3701: submitted by Vtec234
October 1, 2024 23:16 2s
October 1, 2024 23:16 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #3790: created by Vtec234
October 1, 2024 23:16 3s
October 1, 2024 23:16 3s
Maintainer merge (review comment) Maintainer merge (review comment) #60613: created by Vtec234
October 1, 2024 23:16 3s
October 1, 2024 23:16 3s
Maintainer merge (review) Maintainer merge (review) #49296: submitted by Vtec234
October 1, 2024 23:16 3s
October 1, 2024 23:16 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #44057: submitted by Vtec234
October 1, 2024 23:16 3s
October 1, 2024 23:16 3s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4669: completed by mathlib4-update-dependencies-bot
October 1, 2024 23:14 2s
October 1, 2024 23:14 2s