Skip to content

Actions: harahu/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow run results
18 workflow run results

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. #9: completed by harahu
1s
1s
Merge branch 'leanprover-community:master' into doc/formal continuous integration #9: Commit 83d57d4 pushed by harahu
2s doc/formal
doc/formal
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8: completed by harahu
Skipped
Skipped
Shorten lines continuous integration #8: Commit f999b10 pushed by harahu
2s doc/formal
doc/formal
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by harahu
1s
1s
Merge branch 'leanprover-community:master' into doc/cannot continuous integration #7: Commit 7cc04ac pushed by harahu
1s doc/cannot
doc/cannot
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by harahu
1s
1s
Shorten yet another line continuous integration #6: Commit 270f3fa pushed by harahu
1s doc/cannot
doc/cannot
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by harahu
1s
1s
Shorten lines continuous integration #5: Commit 1ab8550 pushed by harahu
1s doc/cannot
doc/cannot
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by harahu
1s
1s
Etcetera continuous integration #4: Commit d5a3fd0 pushed by harahu
1s doc/formal
doc/formal
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by harahu
1s
1s
shorten lines continuous integration #3: Commit 5b1405d pushed by harahu
1s doc/formal
doc/formal
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by harahu
2s
2s
can't -> cannot continuous integration #2: Commit 49cf7bb pushed by harahu
1s doc/cannot
doc/cannot
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by harahu
1s
1s
Clean up some abbreviations continuous integration #1: Commit 1a80ff9 pushed by harahu
1s doc/formal
doc/formal
1s