Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
738,108 workflow runs
738,108 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge conflicts Merge conflicts #56290: Scheduled
August 7, 2024 08:48 19s master
master
August 7, 2024 08:48 19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71821: completed by Parcly-Taxel
August 7, 2024 08:48 2s
August 7, 2024 08:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71820: completed by madvorak
August 7, 2024 08:47 3s
August 7, 2024 08:47 3s
Dependent Issues Dependent Issues #57240: Scheduled
August 7, 2024 08:46 In progress master
master
August 7, 2024 08:46 In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71819: completed by henkkuli
August 7, 2024 08:45 2s
August 7, 2024 08:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71818: completed by hrmacbeth
August 7, 2024 08:44 2s
August 7, 2024 08:44 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71817: completed by adomani
August 7, 2024 08:39 3s
August 7, 2024 08:39 3s
test make HasQuotient.quotient' reducible Post PR summary comment #11478: Pull request #15585 opened by FR-vdash-bot
August 7, 2024 08:39 43s FR_test_quotient_mkabbrev
FR_test_quotient_mkabbrev
August 7, 2024 08:39 43s
test make HasQuotient.quotient' reducible lint and suggest #47864: Pull request #15585 opened by FR-vdash-bot
August 7, 2024 08:39 2s FR_test_quotient_mkabbrev
FR_test_quotient_mkabbrev
August 7, 2024 08:39 2s
test make HasQuotient.quotient' reducible Label New Contributors #25594: Pull request #15585 opened by FR-vdash-bot
August 7, 2024 08:39 12s FR_test_quotient_mkabbrev
FR_test_quotient_mkabbrev
August 7, 2024 08:39 12s
test make HasQuotient.quotient' reducible continuous integration (mathlib forks) #120444: Commit b1cd62c pushed by FR-vdash-bot
August 7, 2024 08:38 10s FR_test_quotient_mkabbrev
FR_test_quotient_mkabbrev
August 7, 2024 08:38 10s
test make HasQuotient.quotient' reducible continuous integration #113472: Commit b1cd62c pushed by FR-vdash-bot
August 7, 2024 08:38 In progress FR_test_quotient_mkabbrev
FR_test_quotient_mkabbrev
August 7, 2024 08:38 In progress
Maintainer merge (review comment) Maintainer merge (review comment) #52477: created by henkkuli
August 7, 2024 08:38 2s
August 7, 2024 08:38 2s
Maintainer merge (review) Maintainer merge (review) #43558: submitted by henkkuli
August 7, 2024 08:38 2s
August 7, 2024 08:38 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #38319: submitted by henkkuli
August 7, 2024 08:38 2s
August 7, 2024 08:38 2s
feat(Combinatorics/SimpleGraph): darts and edges are injective for walks, length of paths and trails are bounded Label PR based on Comment #32033: Issue comment #15541 (comment) created by henkkuli
August 7, 2024 08:38 1s
August 7, 2024 08:38 1s
feat(Combinatorics/SimpleGraph): darts and edges are injective for walks, length of paths and trails are bounded Maintainer merge (comment) #55837: Issue comment #15541 (comment) created by henkkuli
August 7, 2024 08:38 1s
August 7, 2024 08:38 1s
feat(Combinatorics/SimpleGraph): darts and edges are injective for walks, length of paths and trails are bounded Add "ready-to-merge" and "delegated" label from comment #51343: Issue comment #15541 (comment) created by henkkuli
August 7, 2024 08:38 2s
August 7, 2024 08:38 2s
Maintainer merge (review comment) Maintainer merge (review comment) #52476: created by madvorak
August 7, 2024 08:37 2s
August 7, 2024 08:37 2s
Maintainer merge (review) Maintainer merge (review) #43557: submitted by madvorak
August 7, 2024 08:37 2s
August 7, 2024 08:37 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #38318: submitted by madvorak
August 7, 2024 08:37 2s
August 7, 2024 08:37 2s
Maintainer merge (review comment) Maintainer merge (review comment) #52475: created by madvorak
August 7, 2024 08:36 2s
August 7, 2024 08:36 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #38317: submitted by madvorak
August 7, 2024 08:36 3s
August 7, 2024 08:36 3s
Maintainer merge (review) Maintainer merge (review) #43556: submitted by madvorak
August 7, 2024 08:36 2s
August 7, 2024 08:36 2s
Maintainer merge (review comment) Maintainer merge (review comment) #52474: created by madvorak
August 7, 2024 08:35 2s
August 7, 2024 08:35 2s