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. #5869: completed by Shreyas4991
August 18, 2024 00:07 2s
August 18, 2024 00:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5868: completed by Shreyas4991
August 17, 2024 23:56 3s
August 17, 2024 23:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5867: completed by Shreyas4991
August 17, 2024 23:43 2s
August 17, 2024 23:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5866: completed by Shreyas4991
August 17, 2024 23:31 3s
August 17, 2024 23:31 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5865: completed by Shreyas4991
August 17, 2024 22:47 2s
August 17, 2024 22:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5864: completed by leanprover-community-mathlib4-bot
August 17, 2024 17:27 2s
August 17, 2024 17:27 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5863: completed by Seppel3210
August 17, 2024 16:58 2s
August 17, 2024 16:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5862: completed by Seppel3210
August 17, 2024 16:48 2s
August 17, 2024 16:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5861: completed by Shreyas4991
August 17, 2024 12:33 3s
August 17, 2024 12:33 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5860: completed by leanprover-community-mathlib4-bot
August 17, 2024 09:06 11s
August 17, 2024 09:06 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5859: completed by leanprover-community-mathlib4-bot
August 17, 2024 06:02 15s
August 17, 2024 06:02 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5858: completed by digama0
August 17, 2024 06:02 2s
August 17, 2024 06:02 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5857: completed by kim-em
August 17, 2024 04:17 2s
August 17, 2024 04:17 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5856: completed by kim-em
August 17, 2024 04:16 2s
August 17, 2024 04:16 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5855: completed by kim-em
August 17, 2024 04:15 2s
August 17, 2024 04:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5854: completed by kim-em
August 17, 2024 04:11 2s
August 17, 2024 04:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5853: completed by kim-em
August 17, 2024 04:11 2s
August 17, 2024 04:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5852: completed by kim-em
August 17, 2024 03:51 16s
August 17, 2024 03:51 16s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5851: completed by leanprover-community-mathlib4-bot
August 17, 2024 02:35 13s
August 17, 2024 02:35 13s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5850: completed by kim-em
August 17, 2024 02:35 2s
August 17, 2024 02:35 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5849: completed by kim-em
August 17, 2024 02:34 2s
August 17, 2024 02:34 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5848: completed by kim-em
August 17, 2024 02:34 2s
August 17, 2024 02:34 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5847: completed by kim-em
August 17, 2024 02:28 2s
August 17, 2024 02:28 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5846: completed by kim-em
August 17, 2024 02:28 2s
August 17, 2024 02:28 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5845: completed by kim-em
August 17, 2024 02:20 13s
August 17, 2024 02:20 13s