Skip to content

Actions: zwarich/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by zwarich
1s
1s
remove more noncomputable continuous integration #8: Commit 1024eb9 pushed by zwarich
1s set-monoid
set-monoid
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by zwarich
1s
1s
chore: remove noncomputable attributes from Set/Finset Monoid insta… continuous integration #7: Commit c6863e1 pushed by zwarich
1s set-monoid
set-monoid
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by zwarich
Skipped
Skipped
chore: remove unnecessary noncomputable attributes after 4.22.0 rc3 continuous integration #6: Commit b6e34f8 pushed by zwarich
2s 4.22-rc3-noncomputable-fixes
4.22-rc3-noncomputable-fixes
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by zwarich
1s
1s
chore: remove unnecessary noncomputable attribute after 4.22.0 rc3 continuous integration #5: Commit 59aa3a9 pushed by zwarich
1s 4.22-rc3-noncomputable-fixes
4.22-rc3-noncomputable-fixes
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by zwarich
1s
1s
chore: remove unnecessary noncomputable attribute after 4.22.0 rc3 continuous integration #4: Commit f3f4a86 pushed by zwarich
1s 4.22-rc3-noncomputable-fixes
4.22-rc3-noncomputable-fixes
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by zwarich
1s
1s
chore: remove unnecessary noncomputable attribute after 4.22.0 rc3 continuous integration #3: Commit 93761f4 pushed by zwarich
1s 4.22-rc3-noncomputable-fixes
4.22-rc3-noncomputable-fixes
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by zwarich
11s
11s
chore: remove unnecessary noncomputable attribute continuous integration #2: Commit a2c6136 pushed by zwarich
Skipped remove-adaptation-note
remove-adaptation-note
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by zwarich
1s
1s
chore: remove unnecessary noncomputable attribute continuous integration #1: Commit a7789ca pushed by zwarich
2s remove-adaptation-note
remove-adaptation-note
2s
chore: adjust one maxHeartbeats for the new compiler (Unnamed workflow) #1: Commit 0e352d4 pushed by zwarich
Startup failure lean-pr-testing-8577
lean-pr-testing-8577
Startup failure