Skip to content

Actions: rmhi/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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 #3: completed by rmhi
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by rmhi
1s
1s
Zulip emoji CI status Zulip emoji CI status #6: completed by rmhi
8s
8s
Declarations diff (post-build) Declarations diff (post-build) #3: completed by rmhi
1s
1s
Zulip emoji CI status Zulip emoji CI status #5: requested by rmhi
1s
1s
deprecate cochainsMap continuous integration #3: Commit c412af9 pushed by rmhi
1s rh_functoriality
rh_functoriality
1s
deprecate cochainsMap Run pre-commit and in-place update PR on push #3: Commit c412af9 pushed by rmhi
35s rh_functoriality
rh_functoriality
35s
Declarations diff (post-build) Declarations diff (post-build) #2: completed by rmhi
1s
1s
Export workflow telemetry Export workflow telemetry #2: completed by rmhi
1s
1s
Zulip emoji CI status Zulip emoji CI status #4: completed by rmhi
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by rmhi
1s
1s
Zulip emoji CI status Zulip emoji CI status #3: requested by rmhi
2s
2s
fix things Run pre-commit and in-place update PR on push #2: Commit 5e93f0c pushed by rmhi
37s rh_functoriality
rh_functoriality
37s
fix things continuous integration #2: Commit 5e93f0c pushed by rmhi
1s rh_functoriality
rh_functoriality
1s
Zulip emoji CI status Zulip emoji CI status #2: requested by rmhi
8s
8s
Export workflow telemetry Export workflow telemetry #1: completed by rmhi
1s
1s
Zulip emoji CI status Zulip emoji CI status #1: completed by rmhi
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by rmhi
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #1: completed by rmhi
8s
8s
Merge remote-tracking branch 'upstream/master' into rh_functoriality continuous integration #1: Commit fe09930 pushed by rmhi
2s rh_functoriality
rh_functoriality
2s
Merge remote-tracking branch 'upstream/master' into rh_functoriality Run pre-commit and in-place update PR on push #1: Commit fe09930 pushed by rmhi
32s rh_functoriality
rh_functoriality
32s