Skip to content

Actions: yoh-tanimoto/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
242 workflow runs
242 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. #92: completed by yoh-tanimoto
April 19, 2024 11:56 3s
April 19, 2024 11:56 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91: completed by yoh-tanimoto
April 19, 2024 03:08 2s
April 19, 2024 03:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #90: completed by yoh-tanimoto
April 19, 2024 03:07 3s
April 19, 2024 03:07 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #89: completed by yoh-tanimoto
April 18, 2024 09:22 3s
April 18, 2024 09:22 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #88: completed by yoh-tanimoto
April 17, 2024 23:49 3s
April 17, 2024 23:49 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #87: completed by yoh-tanimoto
April 17, 2024 22:46 2s
April 17, 2024 22:46 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #86: completed by yoh-tanimoto
April 17, 2024 21:40 3s
April 17, 2024 21:40 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #85: completed by yoh-tanimoto
April 17, 2024 21:27 3s
April 17, 2024 21:27 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #84: completed by yoh-tanimoto
April 17, 2024 13:57 3s
April 17, 2024 13:57 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #83: completed by yoh-tanimoto
April 16, 2024 11:56 2s
April 16, 2024 11:56 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #82: completed by yoh-tanimoto
April 15, 2024 12:19 3s
April 15, 2024 12:19 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #81: completed by yoh-tanimoto
April 15, 2024 08:07 2s
April 15, 2024 08:07 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #80: completed by yoh-tanimoto
April 15, 2024 04:42 2s
April 15, 2024 04:42 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #79: completed by yoh-tanimoto
April 14, 2024 18:02 2s
April 14, 2024 18:02 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #78: completed by yoh-tanimoto
April 14, 2024 17:55 2s
April 14, 2024 17:55 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #77: completed by yoh-tanimoto
April 13, 2024 14:40 2s
April 13, 2024 14:40 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #76: completed by yoh-tanimoto
April 13, 2024 13:53 3s
April 13, 2024 13:53 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #75: completed by yoh-tanimoto
April 13, 2024 13:24 2s
April 13, 2024 13:24 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #74: completed by yoh-tanimoto
April 13, 2024 07:56 2s
April 13, 2024 07:56 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #73: completed by yoh-tanimoto
April 12, 2024 20:15 3s
April 12, 2024 20:15 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #72: completed by yoh-tanimoto
April 12, 2024 16:43 2s
April 12, 2024 16:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #71: completed by yoh-tanimoto
April 12, 2024 09:24 3s
April 12, 2024 09:24 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #70: completed by yoh-tanimoto
April 11, 2024 20:20 3s
April 11, 2024 20:20 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #69: completed by yoh-tanimoto
April 11, 2024 14:21 9s
April 11, 2024 14:21 9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #68: completed by yoh-tanimoto
April 10, 2024 15:38 3s
April 10, 2024 15:38 3s