Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
887,754 workflow run results
887,754 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintainer merge (review) Maintainer merge (review) #51706: submitted by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
bot fix style (review) bot fix style (review) #6111: submitted by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
Maintainer merge (review comment) Maintainer merge (review comment) #63809: created by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6746: created by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
bot fix style (review comment) bot fix style (review comment) #8527: created by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46467: submitted by yuma-mizuno
October 20, 2024 22:21 2s
October 20, 2024 22:21 2s
bot fix style (comment) bot fix style (comment) #7705: edited by mathlib4-dependent-issues-bot
October 20, 2024 22:20 1s
October 20, 2024 22:20 1s
Maintainer merge (comment) Maintainer merge (comment) #66067: edited by mathlib4-dependent-issues-bot
October 20, 2024 22:20 2s
October 20, 2024 22:20 2s
Dependent Issues Dependent Issues #64026: Scheduled
October 20, 2024 22:20 2m 51s master
master
October 20, 2024 22:20 2m 51s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92247: completed by YaelDillies
October 20, 2024 22:14 2s
October 20, 2024 22:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92246: completed by YaelDillies
October 20, 2024 22:13 2s
October 20, 2024 22:13 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4812: completed by mathlib4-update-dependencies-bot
October 20, 2024 22:12 2s
October 20, 2024 22:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92245: completed by mathlib4-update-dependencies-bot
October 20, 2024 22:12 2s
October 20, 2024 22:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92244: completed by YaelDillies
October 20, 2024 22:10 2s
October 20, 2024 22:10 2s
feat: inclusion-exclusion principle lint and suggest #61477: Pull request #17957 synchronize by YaelDillies
October 20, 2024 22:08 1m 26s inclusion_exclusion
inclusion_exclusion
October 20, 2024 22:08 1m 26s
feat: inclusion-exclusion principle Label New Contributors #39233: Pull request #17957 synchronize by YaelDillies
October 20, 2024 22:08 24s inclusion_exclusion
inclusion_exclusion
October 20, 2024 22:08 24s
feat: inclusion-exclusion principle Post PR summary comment #25088: Pull request #17957 synchronize by YaelDillies
October 20, 2024 22:08 51s inclusion_exclusion
inclusion_exclusion
October 20, 2024 22:08 51s
feat: inclusion-exclusion principle continuous integration (mathlib forks) #142236: Commit cadf412 pushed by YaelDillies
October 20, 2024 22:08 13s inclusion_exclusion
inclusion_exclusion
October 20, 2024 22:08 13s
feat: inclusion-exclusion principle continuous integration #133717: Commit cadf412 pushed by YaelDillies
October 20, 2024 22:08 25m 38s inclusion_exclusion
inclusion_exclusion
October 20, 2024 22:08 25m 38s
Maintainer merge (review) Maintainer merge (review) #51705: submitted by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6745: created by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46466: submitted by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s
bot fix style (review) bot fix style (review) #6110: submitted by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s
bot fix style (review comment) bot fix style (review comment) #8525: created by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s
Maintainer merge (review comment) Maintainer merge (review comment) #63808: created by YaelDillies
October 20, 2024 22:06 3s
October 20, 2024 22:06 3s