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. #5919: completed by kim-em
August 21, 2024 10:57 3s
August 21, 2024 10:57 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5918: completed by kim-em
August 21, 2024 10:56 3s
August 21, 2024 10:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5917: completed by kim-em
August 21, 2024 10:56 2s
August 21, 2024 10:56 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5916: completed by kim-em
August 21, 2024 10:55 14s
August 21, 2024 10:55 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5915: completed by leanprover-community-mathlib4-bot
August 21, 2024 09:59 3s
August 21, 2024 09:59 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5914: completed by leanprover-community-mathlib4-bot
August 21, 2024 09:39 2s
August 21, 2024 09:39 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5913: completed by leanprover-community-mathlib4-bot
August 21, 2024 09:23 3s
August 21, 2024 09:23 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5912: completed by leanprover-community-mathlib4-bot
August 21, 2024 09:07 21s
August 21, 2024 09:07 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5911: completed by leanprover-community-mathlib4-bot
August 21, 2024 03:05 2s
August 21, 2024 03:05 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5910: completed by kim-em
August 21, 2024 02:58 3s
August 21, 2024 02:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5909: completed by leanprover-community-mathlib4-bot
August 21, 2024 02:58 2s
August 21, 2024 02:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5908: completed by kim-em
August 21, 2024 02:58 2s
August 21, 2024 02:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5907: completed by kim-em
August 21, 2024 02:54 2s
August 21, 2024 02:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5906: completed by kim-em
August 21, 2024 02:51 2s
August 21, 2024 02:51 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5905: completed by leanprover-community-mathlib4-bot
August 21, 2024 02:45 17s
August 21, 2024 02:45 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5904: completed by kim-em
August 21, 2024 02:45 2s
August 21, 2024 02:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5903: completed by leanprover-community-mathlib4-bot
August 21, 2024 02:36 2s
August 21, 2024 02:36 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5902: completed by kim-em
August 21, 2024 02:29 2s
August 21, 2024 02:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5901: completed by kim-em
August 21, 2024 02:29 3s
August 21, 2024 02:29 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5900: completed by kim-em
August 21, 2024 02:29 3s
August 21, 2024 02:29 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5899: completed by leanprover-community-mathlib4-bot
August 21, 2024 02:07 3s
August 21, 2024 02:07 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5898: completed by leanprover-community-mathlib4-bot
August 21, 2024 02:01 2s
August 21, 2024 02:01 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5897: completed by leanprover-community-mathlib4-bot
August 21, 2024 01:59 3s
August 21, 2024 01:59 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5896: completed by leanprover-community-mathlib4-bot
August 21, 2024 01:50 2s
August 21, 2024 01:50 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5895: completed by leanprover-community-mathlib4-bot
August 21, 2024 01:49 2s
August 21, 2024 01:49 2s