Skip to content

Actions: leanprover-community/mathlib4

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
87,562 workflow runs
87,562 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. #87462: completed by jouglasheen
October 3, 2024 21:15 2s
October 3, 2024 21:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87461: completed by metinersin
October 3, 2024 21:13 2s
October 3, 2024 21:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87460: completed by mathlib4-update-dependencies-bot
October 3, 2024 21:08 2s
October 3, 2024 21:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87459: completed by jouglasheen
October 3, 2024 21:06 3s
October 3, 2024 21:06 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87458: completed by mathlib-bors bot
October 3, 2024 20:56 3s
October 3, 2024 20:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87457: completed by jouglasheen
October 3, 2024 20:53 3s
October 3, 2024 20:53 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87456: completed by metinersin
October 3, 2024 20:50 2s
October 3, 2024 20:50 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87455: completed by chrisflav
October 3, 2024 20:49 2s
October 3, 2024 20:49 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87454: completed by jouglasheen
October 3, 2024 20:48 2s
October 3, 2024 20:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87453: completed by arulandu
October 3, 2024 20:46 3s
October 3, 2024 20:46 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87452: completed by YaelDillies
October 3, 2024 20:45 2s
October 3, 2024 20:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87451: completed by emilyriehl
October 3, 2024 20:41 2s
October 3, 2024 20:41 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87450: completed by EtienneC30
October 3, 2024 20:18 2s
October 3, 2024 20:18 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87449: completed by jjdishere
October 3, 2024 20:15 2s
October 3, 2024 20:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87448: completed by YaelDillies
October 3, 2024 20:12 2s
October 3, 2024 20:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87447: completed by mathlib-bors bot
October 3, 2024 20:12 3s
October 3, 2024 20:12 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87446: completed by PieterCuijpers
October 3, 2024 20:11 2s
October 3, 2024 20:11 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87445: completed by mathlib4-update-dependencies-bot
October 3, 2024 20:08 3s
October 3, 2024 20:08 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87444: completed by YaelDillies
October 3, 2024 20:07 2s
October 3, 2024 20:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87443: completed by YaelDillies
October 3, 2024 20:07 2s
October 3, 2024 20:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87442: completed by chrisflav
October 3, 2024 20:07 2s
October 3, 2024 20:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87441: completed by metinersin
October 3, 2024 19:58 2s
October 3, 2024 19:58 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87440: completed by joelriou
October 3, 2024 19:50 2s
October 3, 2024 19:50 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87439: completed by chrisflav
October 3, 2024 19:50 2s
October 3, 2024 19:50 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87438: completed by Ruben-VandeVelde
October 3, 2024 19:49 3s
October 3, 2024 19:49 3s