Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Zulip emoji CI status Zulip emoji CI status #46880: requested by ADedecker
15s
15s
feat: integration against a locally integrable function as a CLM on test functions lint and suggest #170340: Pull request #32250 synchronize by ADedecker
In progress ADedecker:AD_integralAgainstCLM
ADedecker:AD_integralAgainstCLM
In progress
feat: integration against a locally integrable function as a CLM on test functions Commit Verification #29410: Pull request #32250 synchronize by ADedecker
46s ADedecker:AD_integralAgainstCLM
ADedecker:AD_integralAgainstCLM
46s
feat: integration against a locally integrable function as a CLM on test functions Run pre-commit and in-place update PR on push #59719: Pull request #32250 synchronize by ADedecker
26s ADedecker:AD_integralAgainstCLM
ADedecker:AD_integralAgainstCLM
26s
feat: integration against a locally integrable function as a CLM on test functions Post PR summary comment #146471: Pull request #32250 synchronize by ADedecker
In progress
In progress
feat: integration against a locally integrable function as a CLM on test functions continuous integration (mathlib forks) #290483: Pull request #32250 synchronize by ADedecker
In progress
In progress
Merge conflicts Merge conflicts #106618: Scheduled
In progress master
master
In progress
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree .github/workflows/zulip_emoji_labelling.yaml #53769: Pull request #34854 labeled by Vierkantor
16s
16s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162345: completed by Vierkantor
2s
2s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152149: completed by Vierkantor
1s
1s
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree Label PR based on Comment #158358: Issue comment #34854 (comment) created by Vierkantor
6s
6s
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree bot fix style #207613: Issue comment #34854 (comment) created by Vierkantor
12s
12s
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree Maintainer merge #256315: Issue comment #34854 (comment) created by Vierkantor
1s
1s
chore(Combinatorics/Enumerative/Catalan): split into Basic & Tree Add "ready-to-merge" and "delegated" label #235660: Issue comment #34854 (comment) created by Vierkantor
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #8512: completed by jcommelin
9s
9s
feat(Data/Set/Finite): finite distributivity for complete distributive lattices .github/workflows/zulip_emoji_labelling.yaml #53768: Pull request #34123 unlabeled by mathlib-triage bot
18s
18s
feat(Data/Set/Finite): finite distributivity for complete distributive lattices .github/workflows/zulip_emoji_labelling.yaml #53767: Pull request #34123 labeled by mathlib-triage bot
1s
1s
Dependent Issues Dependent Issues #109747: Scheduled
In progress master
master
In progress
Zulip emoji CI status Zulip emoji CI status #46879: requested by jcommelin
19s
19s
chore: tighten down public/exposed API of AlgebraicClosure Run pre-commit and in-place update PR on push #59718: Pull request #38329 synchronize by jcommelin
26s jcommelin:techdebt-modulize-1
jcommelin:techdebt-modulize-1
26s
chore: tighten down public/exposed API of AlgebraicClosure Commit Verification #29409: Pull request #38329 synchronize by jcommelin
44s jcommelin:techdebt-modulize-1
jcommelin:techdebt-modulize-1
44s
chore: tighten down public/exposed API of AlgebraicClosure lint and suggest #170339: Pull request #38329 synchronize by jcommelin
2m 13s jcommelin:techdebt-modulize-1
jcommelin:techdebt-modulize-1
2m 13s
chore: tighten down public/exposed API of AlgebraicClosure continuous integration (mathlib forks) #290482: Pull request #38329 synchronize by jcommelin
In progress
In progress
chore: tighten down public/exposed API of AlgebraicClosure Post PR summary comment #146470: Pull request #38329 synchronize by jcommelin
1m 10s
1m 10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152148: completed by Vierkantor
31s
31s