Skip to content

Actions: jjdishere/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
Merge conflicts Merge conflicts #24742: Scheduled
11s master
master
11s
Declarations diff (post-build) Declarations diff (post-build) #145: completed by jjdishere
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #723: completed by jjdishere
1s
1s
Export workflow telemetry Export workflow telemetry #271: completed by jjdishere
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #722: requested by jjdishere
1s
1s
fix continuous integration #508: Commit 82c7089 pushed by jjdishere
7s jjd_fix_toMonoidHomWithZero
jjd_fix_toMonoidHomWithZero
7s
fix Run pre-commit and in-place update PR on push #356: Commit 82c7089 pushed by jjdishere
34s jjd_fix_toMonoidHomWithZero
jjd_fix_toMonoidHomWithZero
34s
Lake cache shadow (master) Lake cache shadow (master) #106: Scheduled
2s master
master
2s
Zulip emoji reconcile Zulip emoji reconcile #721: requested by jjdishere
2s
2s
Export workflow telemetry Export workflow telemetry #270: completed by jjdishere
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #144: completed by jjdishere
7s
7s
Zulip emoji reconcile Zulip emoji reconcile #720: completed by jjdishere
1s
1s
Merge branch 'master' into jjd_fix_toMonoidHomWithZero continuous integration #507: Commit f1b1542 pushed by jjdishere
1s jjd_fix_toMonoidHomWithZero
jjd_fix_toMonoidHomWithZero
1s
Merge branch 'master' into jjd_fix_toMonoidHomWithZero Run pre-commit and in-place update PR on push #355: Commit f1b1542 pushed by jjdishere
25s jjd_fix_toMonoidHomWithZero
jjd_fix_toMonoidHomWithZero
25s
Declarations diff (post-build) Declarations diff (post-build) #143: completed by jjdishere
1s
1s
Export workflow telemetry Export workflow telemetry #269: completed by jjdishere
2s
2s
Export cross-reference data Export cross-reference data #15: completed by jjdishere
2s
2s
Zulip emoji reconcile Zulip emoji reconcile #719: completed by jjdishere
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #718: requested by jjdishere
1s
1s
ci: bump mathlib-ci pins (#43854) continuous integration #506: Commit fcabd43 pushed by jjdishere
Skipped master
master
Skipped
ci: bump mathlib-ci pins (#43854) publish CI tools #22: Commit fcabd43 pushed by jjdishere
1s master
master
1s
Zulip emoji reconcile Zulip emoji reconcile #717: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #24741: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #1394: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #426: Scheduled
1s master
master
1s