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,691 workflow runs
8,691 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. #9031: completed by fgdorais
February 8, 2025 07:55 2s
February 8, 2025 07:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9030: completed by fgdorais
February 8, 2025 07:54 3s
February 8, 2025 07:54 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9029: completed by fgdorais
February 8, 2025 04:15 3s
February 8, 2025 04:15 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9028: completed by fgdorais
February 8, 2025 04:15 2s
February 8, 2025 04:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9027: completed by fgdorais
February 8, 2025 04:13 3s
February 8, 2025 04:13 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9026: completed by fgdorais
February 8, 2025 04:13 3s
February 8, 2025 04:13 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9025: completed by fgdorais
February 8, 2025 03:32 2s
February 8, 2025 03:32 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9024: completed by fgdorais
February 8, 2025 03:31 3s
February 8, 2025 03:31 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9023: completed by fgdorais
February 8, 2025 03:25 2s
February 8, 2025 03:25 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9022: completed by fgdorais
February 8, 2025 03:25 3s
February 8, 2025 03:25 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9021: completed by fgdorais
February 8, 2025 03:03 2s
February 8, 2025 03:03 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9020: completed by fgdorais
February 8, 2025 03:03 2s
February 8, 2025 03:03 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9019: completed by fgdorais
February 8, 2025 02:47 2s
February 8, 2025 02:47 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9018: completed by fgdorais
February 8, 2025 02:47 3s
February 8, 2025 02:47 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9017: completed by fgdorais
February 8, 2025 02:11 2s
February 8, 2025 02:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9016: completed by fgdorais
February 8, 2025 02:11 2s
February 8, 2025 02:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9015: completed by fgdorais
February 8, 2025 02:08 2s
February 8, 2025 02:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9014: completed by fgdorais
February 8, 2025 02:08 2s
February 8, 2025 02:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9013: completed by fgdorais
February 8, 2025 01:53 2s
February 8, 2025 01:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9012: completed by fgdorais
February 8, 2025 01:53 2s
February 8, 2025 01:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9011: completed by fgdorais
February 8, 2025 01:32 2s
February 8, 2025 01:32 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9010: completed by fgdorais
February 8, 2025 01:31 3s
February 8, 2025 01:31 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9009: completed by fgdorais
February 8, 2025 01:19 3s
February 8, 2025 01:19 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9008: completed by fgdorais
February 8, 2025 01:18 3s
February 8, 2025 01:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #9007: completed by leanprover-community-mathlib4-bot
February 7, 2025 11:55 2s
February 7, 2025 11:55 2s