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. #5969: completed by leanprover-community-mathlib4-bot
August 24, 2024 12:03 2s
August 24, 2024 12:03 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5968: completed by leanprover-community-mathlib4-bot
August 24, 2024 11:38 2s
August 24, 2024 11:38 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5967: completed by leanprover-community-mathlib4-bot
August 24, 2024 11:27 2s
August 24, 2024 11:27 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5966: completed by leanprover-community-mathlib4-bot
August 24, 2024 10:43 2s
August 24, 2024 10:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5965: completed by leanprover-community-mathlib4-bot
August 24, 2024 09:06 14s
August 24, 2024 09:06 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5964: completed by leanprover-community-mathlib4-bot
August 24, 2024 08:19 2s
August 24, 2024 08:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5963: completed by leanprover-community-mathlib4-bot
August 23, 2024 13:05 3s
August 23, 2024 13:05 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5962: completed by leanprover-community-mathlib4-bot
August 23, 2024 09:17 2s
August 23, 2024 09:17 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5961: completed by leanprover-community-mathlib4-bot
August 23, 2024 09:06 18s
August 23, 2024 09:06 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5960: completed by leanprover-community-mathlib4-bot
August 23, 2024 08:59 2s
August 23, 2024 08:59 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5959: completed by leanprover-community-mathlib4-bot
August 23, 2024 07:15 3s
August 23, 2024 07:15 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5958: completed by kim-em
August 23, 2024 03:15 2s
August 23, 2024 03:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5956: completed by digama0
August 22, 2024 16:48 3s
August 22, 2024 16:48 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5957: completed by leanprover-community-mathlib4-bot
August 22, 2024 16:48 3s
August 22, 2024 16:48 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5955: completed by digama0
August 22, 2024 16:47 47s
August 22, 2024 16:47 47s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5954: completed by leanprover-community-mathlib4-bot
August 22, 2024 14:28 3s
August 22, 2024 14:28 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5953: completed by leanprover-community-mathlib4-bot
August 22, 2024 14:26 3s
August 22, 2024 14:26 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5952: completed by leanprover-community-mathlib4-bot
August 22, 2024 14:16 3s
August 22, 2024 14:16 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5951: completed by leanprover-community-mathlib4-bot
August 22, 2024 13:06 3s
August 22, 2024 13:06 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5950: completed by leanprover-community-mathlib4-bot
August 22, 2024 13:03 3s
August 22, 2024 13:03 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5949: completed by leanprover-community-mathlib4-bot
August 22, 2024 12:28 3s
August 22, 2024 12:28 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5948: completed by leanprover-community-mathlib4-bot
August 22, 2024 12:14 3s
August 22, 2024 12:14 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5947: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:47 2s
August 22, 2024 11:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5946: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:42 2s
August 22, 2024 11:42 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5945: completed by leanprover-community-mathlib4-bot
August 22, 2024 11:25 3s
August 22, 2024 11:25 3s