Skip to content

Actions: rshlyakh/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 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
Declarations diff (post-build) Declarations diff (post-build) #4: completed by rshlyakh
11s
11s
Export workflow telemetry Export workflow telemetry #4: completed by rshlyakh
11s
11s
Zulip emoji CI status Zulip emoji CI status #8: completed by rshlyakh
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by rshlyakh
1s
1s
Zulip emoji CI status Zulip emoji CI status #7: requested by rshlyakh
1s
1s
Merge branch 'integral-ker-lift' of https://github.com/rshlyakh/mathl… continuous integration #4: Commit b96ac14 pushed by rshlyakh
1s integral-ker-lift
integral-ker-lift
1s
Merge branch 'integral-ker-lift' of https://github.com/rshlyakh/mathl… Run pre-commit and in-place update PR on push #4: Commit b96ac14 pushed by rshlyakh
21s integral-ker-lift
integral-ker-lift
21s
Export workflow telemetry Export workflow telemetry #3: completed by rshlyakh
2s
2s
Declarations diff (post-build) Declarations diff (post-build) #3: completed by rshlyakh
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 rshlyakh
2s
2s
Zulip emoji CI status Zulip emoji CI status #6: completed by rshlyakh
1s
1s
Zulip emoji CI status Zulip emoji CI status #5: requested by rshlyakh
1s
1s
Merge branch 'leanprover-community:master' into integral-ker-lift continuous integration #3: Commit cd5a21b pushed by rshlyakh
8s integral-ker-lift
integral-ker-lift
8s
Merge branch 'leanprover-community:master' into integral-ker-lift Run pre-commit and in-place update PR on push #3: Commit cd5a21b pushed by rshlyakh
25s integral-ker-lift
integral-ker-lift
25s
Declarations diff (post-build) Declarations diff (post-build) #2: completed by rshlyakh
1s
1s
Export workflow telemetry Export workflow telemetry #2: completed by rshlyakh
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by rshlyakh
9s
9s
Zulip emoji CI status Zulip emoji CI status #4: completed by rshlyakh
7s
7s
Zulip emoji CI status Zulip emoji CI status #3: requested by rshlyakh
9s
9s
chore: change lemma to theorem continuous integration #2: Commit 8c3bd31 pushed by rshlyakh
11s integral-ker-lift
integral-ker-lift
11s
chore: change lemma to theorem Run pre-commit and in-place update PR on push #2: Commit 8c3bd31 pushed by rshlyakh
23s integral-ker-lift
integral-ker-lift
23s
Export workflow telemetry Export workflow telemetry #1: completed by rshlyakh
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #1: completed by rshlyakh
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by rshlyakh
1s
1s
Zulip emoji CI status Zulip emoji CI status #2: completed by rshlyakh
1s
1s