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
Export workflow telemetry Export workflow telemetry #47439: completed by mcdoll
13s
13s
Zulip emoji CI status Zulip emoji CI status #78829: completed by mcdoll
14s
14s
Declarations diff (post-build) Declarations diff (post-build) #3285: completed by mcdoll
59s
59s
Update Mathlib Dependencies Update Mathlib Dependencies #17243: Scheduled
1m 15s master
master
1m 15s
Commit Verification (workflow_run) Commit Verification (workflow_run) #22801: completed by ghseeli
12s
12s
Zulip emoji CI status Zulip emoji CI status #78828: requested by ghseeli
21s
21s
feat(Combinatorics/Enumerative): Latin squares continuous integration (mathlib forks) #305188: Pull request #36698 synchronize by ghseeli
In progress
In progress
feat(Combinatorics/Enumerative): Latin squares Check workflows #5421: Pull request #36698 synchronize by ghseeli
20s cjrl:lr_ls_m_coe
cjrl:lr_ls_m_coe
20s
feat(Combinatorics/Enumerative): Latin squares Run pre-commit and in-place update PR on push #74217: Pull request #36698 synchronize by ghseeli
22s cjrl:lr_ls_m_coe
cjrl:lr_ls_m_coe
22s
feat(Combinatorics/Enumerative): Latin squares Commit Verification #43699: Pull request #36698 synchronize by ghseeli
46s cjrl:lr_ls_m_coe
cjrl:lr_ls_m_coe
46s
feat(Combinatorics/Enumerative): Latin squares lint and suggest #184630: Pull request #36698 synchronize by ghseeli
2m 15s cjrl:lr_ls_m_coe
cjrl:lr_ls_m_coe
2m 15s
feat(Combinatorics/Enumerative): Latin squares Validate mathlib-ci script paths #903: Pull request #36698 synchronize by ghseeli
17s cjrl:lr_ls_m_coe
cjrl:lr_ls_m_coe
17s
feat(Combinatorics/Enumerative): Latin squares Post PR summary comment #161279: Pull request #36698 synchronize by ghseeli
1m 26s
1m 26s
Export workflow telemetry Export workflow telemetry #47438: completed by mcdoll
13s
13s
Zulip emoji CI status Zulip emoji CI status #78827: completed by mcdoll
23s
23s
Declarations diff (post-build) Declarations diff (post-build) #3284: completed by mcdoll
51s
51s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #180498: completed by ghseeli
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #193094: completed by ghseeli
Skipped
Skipped
olean report (workflow_run) olean report (workflow_run) #8728: completed by ghseeli
7s
7s
feat(Combinatorics): set-valued pigeonhole principle Add "ready-to-merge" and "delegated" label #264051: Issue comment #37190 (comment) created by ghseeli
2s
2s
feat(Combinatorics): set-valued pigeonhole principle olean report #8728: Issue comment #37190 (comment) created by ghseeli
2s
2s
feat(Combinatorics): set-valued pigeonhole principle PR check downstream #2338: Issue comment #37190 (comment) created by ghseeli
2s
2s
feat(Combinatorics): set-valued pigeonhole principle bot fix style #238405: Issue comment #37190 (comment) created by ghseeli
10s
10s
feat(Combinatorics): set-valued pigeonhole principle Maintainer merge #287105: Issue comment #37190 (comment) created by ghseeli
2s
2s
feat(Combinatorics): set-valued pigeonhole principle Label PR based on Comment #186749: Issue comment #37190 (comment) created by ghseeli
8s
8s