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,419 workflow runs
8,419 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. #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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8407: completed by kim-em
January 4, 2025 04:55 2s
January 4, 2025 04:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8406: completed by kim-em
January 4, 2025 03:22 2s
January 4, 2025 03:22 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8405: completed by github-merge-queue bot
January 4, 2025 03:21 2s
January 4, 2025 03:21 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8404: completed by leanprover-community-mathlib4-bot
January 4, 2025 03:21 18s
January 4, 2025 03:21 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8403: completed by github-merge-queue bot
January 4, 2025 03:19 2s
January 4, 2025 03:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8402: completed by kim-em
January 4, 2025 03:17 2s
January 4, 2025 03:17 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8401: completed by kim-em
January 4, 2025 03:17 3s
January 4, 2025 03:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8400: completed by leanprover-community-mathlib4-bot
January 3, 2025 22:23 3s
January 3, 2025 22:23 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8399: completed by leanprover-community-mathlib4-bot
January 3, 2025 17:59 3s
January 3, 2025 17:59 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8398: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:18 3s
January 3, 2025 15:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8397: completed by leanprover-community-mathlib4-bot
January 3, 2025 15:00 3s
January 3, 2025 15:00 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8396: completed by leanprover-community-mathlib4-bot
January 3, 2025 10:08 2s
January 3, 2025 10:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8395: completed by leanprover-community-mathlib4-bot
January 3, 2025 09:44 3s
January 3, 2025 09:44 3s