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,445 workflow runs
7,445 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. #7445: completed by leanprover-community-mathlib4-bot
November 7, 2024 11:51 3s
November 7, 2024 11:51 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7444: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:55 3s
November 7, 2024 09:55 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7443: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:17 3s
November 7, 2024 09:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7442: completed by leanprover-community-mathlib4-bot
November 7, 2024 09:07 3s
November 7, 2024 09:07 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7441: completed by kim-em
November 7, 2024 08:44 3s
November 7, 2024 08:44 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7440: completed by kim-em
November 7, 2024 08:44 3s
November 7, 2024 08:44 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7439: completed by leanprover-community-mathlib4-bot
November 7, 2024 05:43 2s
November 7, 2024 05:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7438: completed by leanprover-community-mathlib4-bot
November 7, 2024 04:58 3s
November 7, 2024 04:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7437: completed by leanprover-community-mathlib4-bot
November 7, 2024 01:49 2s
November 7, 2024 01:49 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7436: completed by kim-em
November 7, 2024 00:16 2s
November 7, 2024 00:16 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7435: completed by kim-em
November 7, 2024 00:15 2s
November 7, 2024 00:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7434: completed by leanprover-community-mathlib4-bot
November 6, 2024 19:44 3s
November 6, 2024 19:44 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7433: completed by leanprover-community-mathlib4-bot
November 6, 2024 19:38 3s
November 6, 2024 19:38 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7432: completed by leanprover-community-mathlib4-bot
November 6, 2024 16:29 3s
November 6, 2024 16:29 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7431: completed by leanprover-community-mathlib4-bot
November 6, 2024 15:36 3s
November 6, 2024 15:36 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7430: completed by kim-em
November 6, 2024 03:01 3s
November 6, 2024 03:01 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7429: completed by fgdorais
November 5, 2024 19:00 3s
November 5, 2024 19:00 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7428: completed by fgdorais
November 5, 2024 19:00 3s
November 5, 2024 19:00 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7427: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:18 3s
November 5, 2024 10:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7426: completed by leanprover-community-mathlib4-bot
November 5, 2024 10:13 3s
November 5, 2024 10:13 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7425: completed by leanprover-community-mathlib4-bot
November 5, 2024 03:56 3s
November 5, 2024 03:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7424: completed by fgdorais
November 5, 2024 03:54 3s
November 5, 2024 03:54 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7423: completed by fgdorais
November 5, 2024 03:54 3s
November 5, 2024 03:54 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7422: completed by fgdorais
November 5, 2024 03:48 2s
November 5, 2024 03:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7421: completed by fgdorais
November 5, 2024 03:48 2s
November 5, 2024 03:48 2s