Skip to content

Actions: certik/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by certik
6s
6s
Declarations diff (post-build) Declarations diff (post-build) #8: completed by certik
2s
2s
Export workflow telemetry Export workflow telemetry #8: completed by certik
7s
7s
Zulip emoji CI status Zulip emoji CI status #16: completed by certik
10s
10s
Zulip emoji CI status Zulip emoji CI status #15: requested by certik
1s
1s
docs(MeasureTheory): outline the automatic-continuity proof structure continuous integration #8: Commit 7cd3d64 pushed by certik
8s automatic-continuity-mul2
automatic-continuity-mul2
8s
docs(MeasureTheory): outline the automatic-continuity proof structure Run pre-commit and in-place update PR on push #8: Commit 7cd3d64 pushed by certik
28s automatic-continuity-mul2
automatic-continuity-mul2
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by certik
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #7: completed by certik
6s
6s
Export workflow telemetry Export workflow telemetry #7: completed by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #14: completed by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #13: requested by certik
8s
8s
Add have-folding/have-inverting proof-shape lesson to mathlib-contrib… continuous integration #7: Commit d972bb2 pushed by certik
1s skill2
skill2
1s
Add have-folding/have-inverting proof-shape lesson to mathlib-contrib… Run pre-commit and in-place update PR on push #7: Commit d972bb2 pushed by certik
27s skill2
skill2
27s
Declarations diff (post-build) Declarations diff (post-build) #6: completed by certik
8s
8s
Export workflow telemetry Export workflow telemetry #6: completed by certik
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #12: completed by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #11: requested by certik
1s
1s
refactor(MeasureTheory): simplify the multiplicative automatic-contin… continuous integration #6: Commit 361bcd9 pushed by certik
11s automatic-continuity-mul2
automatic-continuity-mul2
11s
refactor(MeasureTheory): simplify the multiplicative automatic-contin… Run pre-commit and in-place update PR on push #6: Commit 361bcd9 pushed by certik
23s automatic-continuity-mul2
automatic-continuity-mul2
23s
Export workflow telemetry Export workflow telemetry #5: completed by certik
1s
1s
Declarations diff (post-build) Declarations diff (post-build) #5: completed by certik
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #10: completed by certik
10s
10s