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
8,482 workflow runs
8,482 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. #8457: completed by fgdorais
January 5, 2025 03:39 2s
January 5, 2025 03:39 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8456: completed by fgdorais
January 5, 2025 03:21 3s
January 5, 2025 03:21 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8455: completed by fgdorais
January 5, 2025 03:21 2s
January 5, 2025 03:21 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8454: completed by leanprover-community-mathlib4-bot
January 5, 2025 02:56 20s
January 5, 2025 02:56 20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8453: completed by github-merge-queue bot
January 5, 2025 02:56 2s
January 5, 2025 02:56 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8452: completed by github-merge-queue bot
January 5, 2025 02:55 2s
January 5, 2025 02:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8451: completed by fgdorais
January 5, 2025 02:54 2s
January 5, 2025 02:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8450: completed by fgdorais
January 5, 2025 02:53 3s
January 5, 2025 02:53 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8449: completed by fgdorais
January 5, 2025 02:12 2s
January 5, 2025 02:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8448: completed by fgdorais
January 5, 2025 02:12 3s
January 5, 2025 02:12 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8447: completed by fgdorais
January 5, 2025 01:28 3s
January 5, 2025 01:28 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8446: completed by fgdorais
January 5, 2025 00:56 3s
January 5, 2025 00:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8445: completed by kim-em
January 5, 2025 00:19 2s
January 5, 2025 00:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8444: completed by leanprover-community-mathlib4-bot
January 5, 2025 00:17 21s
January 5, 2025 00:17 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8443: completed by github-merge-queue bot
January 5, 2025 00:17 3s
January 5, 2025 00:17 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8442: completed by github-merge-queue bot
January 5, 2025 00:16 2s
January 5, 2025 00:16 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8441: completed by kim-em
January 5, 2025 00:15 2s
January 5, 2025 00:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8440: completed by kim-em
January 5, 2025 00:15 2s
January 5, 2025 00:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8439: completed by kim-em
January 5, 2025 00:14 2s
January 5, 2025 00:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8438: completed by kim-em
January 5, 2025 00:14 2s
January 5, 2025 00:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8437: completed by leanprover-community-mathlib4-bot
January 4, 2025 23:59 22s
January 4, 2025 23:59 22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8436: completed by github-merge-queue bot
January 4, 2025 23:59 2s
January 4, 2025 23:59 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8435: completed by github-merge-queue bot
January 4, 2025 23:58 3s
January 4, 2025 23:58 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8434: completed by kim-em
January 4, 2025 23:45 2s
January 4, 2025 23:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #8433: completed by kim-em
January 4, 2025 23:44 2s
January 4, 2025 23:44 2s