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,528 workflow runs
87,528 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. #87528: completed by jcommelin
October 4, 2024 07:28 2s
October 4, 2024 07:28 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87527: completed by urkud
October 4, 2024 07:25 2s
October 4, 2024 07:25 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87526: completed by jcommelin
October 4, 2024 07:24 2s
October 4, 2024 07:24 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87525: completed by YaelDillies
October 4, 2024 07:18 3s
October 4, 2024 07:18 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87524: completed by YaelDillies
October 4, 2024 07:14 3s
October 4, 2024 07:14 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87523: completed by sgouezel
October 4, 2024 07:12 2s
October 4, 2024 07:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87522: completed by adomani
October 4, 2024 06:53 2s
October 4, 2024 06:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87521: completed by mathlib-bors bot
October 4, 2024 06:51 2s
October 4, 2024 06:51 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87520: completed by PieterCuijpers
October 4, 2024 06:29 2s
October 4, 2024 06:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87519: completed by mathlib4-update-dependencies-bot
October 4, 2024 06:16 2s
October 4, 2024 06:16 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87518: completed by RemyDegenne
October 4, 2024 06:15 2s
October 4, 2024 06:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87517: completed by sgouezel
October 4, 2024 06:12 2s
October 4, 2024 06:12 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87516: completed by PieterCuijpers
October 4, 2024 06:07 2s
October 4, 2024 06:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87515: completed by mathlib-bors bot
October 4, 2024 05:46 2s
October 4, 2024 05:46 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87514: completed by mathlib4-update-dependencies-bot
October 4, 2024 05:15 3s
October 4, 2024 05:15 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87513: completed by qawbecrdtey
October 4, 2024 04:55 2s
October 4, 2024 04:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87512: completed by qawbecrdtey
October 4, 2024 04:55 2s
October 4, 2024 04:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87511: completed by mathlib-bors bot
October 4, 2024 04:54 2s
October 4, 2024 04:54 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87510: completed by qawbecrdtey
October 4, 2024 04:49 3s
October 4, 2024 04:49 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87509: completed by qawbecrdtey
October 4, 2024 04:49 2s
October 4, 2024 04:49 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87508: completed by qawbecrdtey
October 4, 2024 04:45 2s
October 4, 2024 04:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87507: completed by urkud
October 4, 2024 04:34 2s
October 4, 2024 04:34 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87506: completed by jcommelin
October 4, 2024 04:29 2s
October 4, 2024 04:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87505: completed by mathlib4-update-dependencies-bot
October 4, 2024 04:16 3s
October 4, 2024 04:16 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87504: completed by j-loreaux
October 4, 2024 04:02 2s
October 4, 2024 04:02 2s