Skip to content

Actions: zwarich/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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. #12: completed by zwarich
1s
1s
chore: remove unnecessary uses of compile_def% continuous integration #12: Commit 3159e03 pushed by zwarich
2s remove-compile-defs
remove-compile-defs
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #11: completed by zwarich
Skipped
Skipped
chore: remove unnecessary uses of compile_def% continuous integration #11: Commit fe3ba1a pushed by zwarich
1s remove-compile-defs
remove-compile-defs
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #10: completed by zwarich
1s
1s
clarify comment continuous integration #10: Commit 674bf05 pushed by zwarich
1s compile-inductive-fixes
compile-inductive-fixes
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9: completed by zwarich
Skipped
Skipped
rename isCompiled continuous integration #9: Commit 7e933cb pushed by zwarich
1s compile-inductive-fixes
compile-inductive-fixes
1s