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
8,482 workflow runs
8,482 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. #8432: completed by kim-em
January 4, 2025 23:42 2s
January 4, 2025 23:42 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8431: completed by kim-em
January 4, 2025 23:25 13s
January 4, 2025 23:25 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8430: completed by leanprover-community-mathlib4-bot
January 4, 2025 21:31 9s
January 4, 2025 21:31 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8429: completed by github-merge-queue bot
January 4, 2025 21:30 3s
January 4, 2025 21:30 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8428: completed by github-merge-queue bot
January 4, 2025 21:29 2s
January 4, 2025 21:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8427: completed by leanprover-community-mathlib4-bot
January 4, 2025 20:29 3s
January 4, 2025 20:29 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8426: completed by leanprover-community-mathlib4-bot
January 4, 2025 20:12 12s
January 4, 2025 20:12 12s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8425: completed by github-merge-queue bot
January 4, 2025 20:11 3s
January 4, 2025 20:11 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8424: completed by github-merge-queue bot
January 4, 2025 20:10 3s
January 4, 2025 20:10 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8423: completed by fgdorais
January 4, 2025 20:09 3s
January 4, 2025 20:09 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8422: completed by fgdorais
January 4, 2025 20:06 2s
January 4, 2025 20:06 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8421: completed by fgdorais
January 4, 2025 20:06 3s
January 4, 2025 20:06 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8420: completed by leanprover-community-mathlib4-bot
January 4, 2025 09:06 10s
January 4, 2025 09:06 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8419: completed by github-merge-queue bot
January 4, 2025 05:14 3s
January 4, 2025 05:14 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8418: completed by leanprover-community-mathlib4-bot
January 4, 2025 05:13 17s
January 4, 2025 05:13 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8417: completed by github-merge-queue bot
January 4, 2025 05:11 2s
January 4, 2025 05:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8416: completed by kim-em
January 4, 2025 05:10 2s
January 4, 2025 05:10 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8415: completed by kim-em
January 4, 2025 05:10 2s
January 4, 2025 05:10 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8414: completed by kim-em
January 4, 2025 05:06 2s
January 4, 2025 05:06 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8413: completed by kim-em
January 4, 2025 05:00 1s
January 4, 2025 05:00 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8412: completed by kim-em
January 4, 2025 05:00 2s
January 4, 2025 05:00 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8411: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8410: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8409: completed by kim-em
January 4, 2025 04:58 2s
January 4, 2025 04:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8408: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s