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,593 workflow runs
8,593 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. #8593: completed by leanprover-community-mathlib4-bot
January 16, 2025 03:02 3s
January 16, 2025 03:02 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8592: completed by leanprover-community-mathlib4-bot
January 16, 2025 02:42 3s
January 16, 2025 02:42 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8591: completed by leanprover-community-mathlib4-bot
January 16, 2025 02:37 3s
January 16, 2025 02:37 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8590: completed by leanprover-community-mathlib4-bot
January 16, 2025 01:21 3s
January 16, 2025 01:21 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8589: completed by fgdorais
January 15, 2025 17:47 2s
January 15, 2025 17:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8588: completed by fgdorais
January 15, 2025 17:41 3s
January 15, 2025 17:41 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8587: completed by leanprover-community-mathlib4-bot
January 15, 2025 15:08 3s
January 15, 2025 15:08 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8586: completed by kim-em
January 15, 2025 08:58 23s
January 15, 2025 08:58 23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8585: completed by leanprover-community-mathlib4-bot
January 15, 2025 08:39 3s
January 15, 2025 08:39 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8584: completed by leanprover-community-mathlib4-bot
January 15, 2025 01:10 2s
January 15, 2025 01:10 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8583: completed by leanprover-community-mathlib4-bot
January 14, 2025 23:45 26s
January 14, 2025 23:45 26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8582: completed by github-merge-queue bot
January 14, 2025 23:45 2s
January 14, 2025 23:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8581: completed by github-merge-queue bot
January 14, 2025 23:43 3s
January 14, 2025 23:43 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8580: completed by leanprover-community-mathlib4-bot
January 14, 2025 15:19 3s
January 14, 2025 15:19 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8579: completed by leanprover-community-mathlib4-bot
January 14, 2025 14:58 4s
January 14, 2025 14:58 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8578: completed by leanprover-community-mathlib4-bot
January 14, 2025 13:07 3s
January 14, 2025 13:07 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8577: completed by kim-em
January 14, 2025 10:18 26s
January 14, 2025 10:18 26s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8576: completed by kim-em
January 14, 2025 10:16 3s
January 14, 2025 10:16 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8575: completed by github-merge-queue bot
January 14, 2025 02:35 3s
January 14, 2025 02:35 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8574: completed by leanprover-community-mathlib4-bot
January 14, 2025 02:34 31s
January 14, 2025 02:34 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8573: completed by github-merge-queue bot
January 14, 2025 02:33 3s
January 14, 2025 02:33 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8572: completed by kim-em
January 14, 2025 02:31 2s
January 14, 2025 02:31 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8571: completed by kim-em
January 14, 2025 02:31 3s
January 14, 2025 02:31 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8570: completed by leanprover-community-mathlib4-bot
January 14, 2025 01:32 2s
January 14, 2025 01:32 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8569: completed by leanprover-community-mathlib4-bot
January 13, 2025 19:23 4s
January 13, 2025 19:23 4s