Skip to content

Actions: JX-Mo/mathlib4

Actions

Post to zulip if the nightly-testing branch is failing.

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly_detect_failure.yml
339 workflow runs
339 workflow runs

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. #339: completed by JX-Mo
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #338: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #337: completed by JX-Mo
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #336: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #335: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #334: completed by JX-Mo
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #333: completed by JX-Mo
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #332: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #331: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #330: completed by JX-Mo
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #329: completed by JX-Mo
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #328: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #327: completed by JX-Mo
7s
7s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #326: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #325: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #324: completed by JX-Mo
9s
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #323: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #322: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #321: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #320: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #319: completed by JX-Mo
10s
10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #318: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #317: completed by JX-Mo
8s
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #316: completed by JX-Mo
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #315: completed by JX-Mo
11s
11s