Skip to content

Actions: leanprover-community/batteries

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
7,220 workflow runs
7,220 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. #16204: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16203: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16202: completed by mathlib-nightly-testing bot
8s
8s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16201: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16200: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16199: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16198: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16197: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16196: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16195: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16194: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16193: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16192: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16191: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16190: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16189: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16188: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16187: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16186: completed by mathlib-nightly-testing bot
11s
11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16185: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16184: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16183: completed by mathlib-nightly-testing bot
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16182: completed by linesthatinterlace
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16181: completed by mathlib-nightly-testing bot
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #16180: completed by mathlib-nightly-testing bot
1s
1s