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
105,148 workflow runs
105,148 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. #105148: completed by PieterCuijpers
November 28, 2024 23:45 2s
November 28, 2024 23:45 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105147: completed by tb65536
November 28, 2024 23:30 2s
November 28, 2024 23:30 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105146: completed by tb65536
November 28, 2024 23:19 2s
November 28, 2024 23:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105145: completed by tb65536
November 28, 2024 23:08 2s
November 28, 2024 23:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105144: completed by Ruben-VandeVelde
November 28, 2024 23:05 3s
November 28, 2024 23:05 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105143: completed by mo271
November 28, 2024 22:48 2s
November 28, 2024 22:48 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105142: completed by tb65536
November 28, 2024 22:35 2s
November 28, 2024 22:35 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105141: completed by vihdzp
November 28, 2024 22:33 2s
November 28, 2024 22:33 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105140: completed by vihdzp
November 28, 2024 22:32 3s
November 28, 2024 22:32 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105139: completed by Ruben-VandeVelde
November 28, 2024 22:29 3s
November 28, 2024 22:29 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105138: completed by adomani
November 28, 2024 22:23 1s
November 28, 2024 22:23 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105137: completed by Ruben-VandeVelde
November 28, 2024 22:22 2s
November 28, 2024 22:22 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105136: completed by tb65536
November 28, 2024 22:19 2s
November 28, 2024 22:19 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105135: completed by mathlib4-update-dependencies-bot
November 28, 2024 22:15 2s
November 28, 2024 22:15 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105134: completed by tb65536
November 28, 2024 22:14 2s
November 28, 2024 22:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105133: completed by joelriou
November 28, 2024 22:06 2s
November 28, 2024 22:06 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105132: completed by vihdzp
November 28, 2024 21:59 2s
November 28, 2024 21:59 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105131: completed by leanprover-community-mathlib4-bot
November 28, 2024 21:53 10s
November 28, 2024 21:53 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105130: completed by leanprover-community-mathlib4-bot
November 28, 2024 21:50 2s
November 28, 2024 21:50 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105129: completed by yu-yama
November 28, 2024 21:47 3s
November 28, 2024 21:47 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105128: completed by vihdzp
November 28, 2024 21:37 2s
November 28, 2024 21:37 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105127: completed by mathlib-bors bot
November 28, 2024 21:30 3s
November 28, 2024 21:30 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105126: completed by yu-yama
November 28, 2024 21:27 1s
November 28, 2024 21:27 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105125: completed by joelriou
November 28, 2024 21:26 2s
November 28, 2024 21:26 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #105124: completed by vihdzp
November 28, 2024 21:20 2s
November 28, 2024 21:20 2s