Skip to content

Actions: SmwYin/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 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
Zulip emoji CI status Zulip emoji CI status #40: completed by SmwYin
1s
1s
Export workflow telemetry Export workflow telemetry #20: completed by SmwYin
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #20: completed by SmwYin
1s
1s
Zulip emoji CI status Zulip emoji CI status #39: requested by SmwYin
1s
1s
remove redundant notation continuous integration #20: Commit 0c43c4a pushed by SmwYin
1s general_qexpansion
general_qexpansion
1s
remove redundant notation Run pre-commit and in-place update PR on push #20: Commit 0c43c4a pushed by SmwYin
22s general_qexpansion
general_qexpansion
22s
Export workflow telemetry Export workflow telemetry #19: completed by SmwYin
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #19: completed by SmwYin
1s
1s
Zulip emoji CI status Zulip emoji CI status #38: completed by SmwYin
1s
1s
Zulip emoji CI status Zulip emoji CI status #37: requested by SmwYin
Skipped
Skipped
format change continuous integration #19: Commit 5a8f63a pushed by SmwYin
1s general_qexpansion
general_qexpansion
1s
format change Run pre-commit and in-place update PR on push #19: Commit 5a8f63a pushed by SmwYin
23s general_qexpansion
general_qexpansion
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #18: completed by SmwYin
1s
1s
Zulip emoji CI status Zulip emoji CI status #36: completed by SmwYin
Skipped
Skipped
Export workflow telemetry Export workflow telemetry #18: completed by SmwYin
Skipped
Skipped
Zulip emoji CI status Zulip emoji CI status #35: requested by SmwYin
1s
1s
change namespace continuous integration #18: Commit ec84e97 pushed by SmwYin
2s general_qexpansion
general_qexpansion
2s
change namespace Run pre-commit and in-place update PR on push #18: Commit ec84e97 pushed by SmwYin
25s general_qexpansion
general_qexpansion
25s
Zulip emoji CI status Zulip emoji CI status #34: completed by SmwYin
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #17: completed by SmwYin
1s
1s
Export workflow telemetry Export workflow telemetry #17: completed by SmwYin
1s
1s
Zulip emoji CI status Zulip emoji CI status #33: requested by SmwYin
1s
1s
address review comments Run pre-commit and in-place update PR on push #17: Commit 47cdd04 pushed by SmwYin
25s general_qexpansion
general_qexpansion
25s
address review comments continuous integration #17: Commit 47cdd04 pushed by SmwYin
1s general_qexpansion
general_qexpansion
1s
Export workflow telemetry Export workflow telemetry #16: completed by SmwYin
2s
2s