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. #7395: completed by leanprover-community-mathlib4-bot
November 4, 2024 19:47 3s
November 4, 2024 19:47 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7394: completed by leanprover-community-mathlib4-bot
November 4, 2024 19:06 3s
November 4, 2024 19:06 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7393: completed by fgdorais
November 4, 2024 18:53 3s
November 4, 2024 18:53 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7392: completed by fgdorais
November 4, 2024 18:53 3s
November 4, 2024 18:53 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7391: completed by leanprover-community-mathlib4-bot
November 4, 2024 17:20 3s
November 4, 2024 17:20 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7390: completed by leanprover-community-mathlib4-bot
November 4, 2024 15:07 2s
November 4, 2024 15:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7389: completed by edegeltje
November 4, 2024 14:36 3s
November 4, 2024 14:36 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7388: completed by leanprover-community-mathlib4-bot
November 4, 2024 14:02 4s
November 4, 2024 14:02 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7387: completed by edegeltje
November 4, 2024 13:52 4s
November 4, 2024 13:52 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7386: completed by edegeltje
November 4, 2024 13:40 3s
November 4, 2024 13:40 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7385: completed by leanprover-community-mathlib4-bot
November 4, 2024 13:05 3s
November 4, 2024 13:05 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7384: completed by austinletson
November 4, 2024 12:15 2s
November 4, 2024 12:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7383: completed by austinletson
November 4, 2024 12:05 3s
November 4, 2024 12:05 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7382: completed by leanprover-community-mathlib4-bot
November 4, 2024 11:06 3s
November 4, 2024 11:06 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7381: completed by kim-em
November 4, 2024 09:14 20s
November 4, 2024 09:14 20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7380: completed by kim-em
November 4, 2024 09:11 10s
November 4, 2024 09:11 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7379: completed by leanprover-community-mathlib4-bot
November 4, 2024 09:07 10s
November 4, 2024 09:07 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7378: completed by leanprover-community-mathlib4-bot
November 4, 2024 00:55 17s
November 4, 2024 00:55 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7377: completed by github-merge-queue bot
November 4, 2024 00:52 2s
November 4, 2024 00:52 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7376: completed by github-merge-queue bot
November 4, 2024 00:50 3s
November 4, 2024 00:50 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7375: completed by kim-em
November 4, 2024 00:47 3s
November 4, 2024 00:47 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7374: completed by kim-em
November 4, 2024 00:47 3s
November 4, 2024 00:47 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7373: completed by kim-em
November 4, 2024 00:46 2s
November 4, 2024 00:46 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7372: completed by leanprover-community-mathlib4-bot
November 3, 2024 22:32 3s
November 3, 2024 22:32 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7371: completed by leanprover-community-mathlib4-bot
November 3, 2024 22:14 2s
November 3, 2024 22:14 2s