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
5,969 workflow run results
5,969 workflow run results

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. #5944: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:24 2s
August 22, 2024 11:24 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5943: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:14 2s
August 22, 2024 11:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5942: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:14 3s
August 22, 2024 11:14 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5941: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:12 3s
August 22, 2024 11:12 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5940: completed by kim-em
August 22, 2024 11:04 2s
August 22, 2024 11:04 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5939: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:02 3s
August 22, 2024 11:02 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5938: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:01 2s
August 22, 2024 11:01 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5937: completed by leanprover-community-mathlib4-bot
August 22, 2024 10:42 2s
August 22, 2024 10:42 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5936: completed by leanprover-community-mathlib4-bot
August 22, 2024 10:37 4s
August 22, 2024 10:37 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5935: completed by leanprover-community-mathlib4-bot
August 22, 2024 09:17 3s
August 22, 2024 09:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5934: completed by kim-em
August 22, 2024 08:23 22s
August 22, 2024 08:23 22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5933: completed by kim-em
August 22, 2024 08:20 11s
August 22, 2024 08:20 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5932: completed by kim-em
August 22, 2024 08:07 10s
August 22, 2024 08:07 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5931: completed by kim-em
August 22, 2024 01:55 2s
August 22, 2024 01:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5930: completed by kim-em
August 22, 2024 01:54 2s
August 22, 2024 01:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5929: completed by kim-em
August 22, 2024 01:47 2s
August 22, 2024 01:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5928: completed by leanprover-community-mathlib4-bot
August 21, 2024 19:45 3s
August 21, 2024 19:45 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5927: completed by leanprover-community-mathlib4-bot
August 21, 2024 18:26 2s
August 21, 2024 18:26 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5926: completed by leanprover-community-mathlib4-bot
August 21, 2024 18:26 3s
August 21, 2024 18:26 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5925: completed by leanprover-community-mathlib4-bot
August 21, 2024 18:01 2s
August 21, 2024 18:01 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5924: completed by leanprover-community-mathlib4-bot
August 21, 2024 17:51 3s
August 21, 2024 17:51 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5923: completed by leanprover-community-mathlib4-bot
August 21, 2024 17:46 3s
August 21, 2024 17:46 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5922: completed by leanprover-community-mathlib4-bot
August 21, 2024 13:58 3s
August 21, 2024 13:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5921: completed by kim-em
August 21, 2024 10:58 2s
August 21, 2024 10:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5920: completed by kim-em
August 21, 2024 10:58 2s
August 21, 2024 10:58 2s