Thomas Gummerer 649479d2de make sure ci-ok is red even if there are skipped tests (#16507) ... When there are skipped tests, any jobs depending on the skipped test will also be skipped. This means ci-ok will be skipped in that case. For some reason GitHub believes this should mean "Go ahead ignoring this check" instead of treating it the same as a failed check. Therefore when a test is skipped in the CI script because an earlier test failed, ci-ok is marked as Skipped and we still enqueue the PR, wasting time and resources. The workaround is to make sure this check *always* runs, and checking the result of the scripts it depends on. We do the same in the on-merge job.		2024-06-27 20:34:57 +00:00
..
ISSUE_TEMPLATE	add issue template for flaky tests (#15966)	2024-04-17 07:44:40 +00:00
scripts	update go-change to the latest version (#15594)	2024-03-05 12:42:05 +00:00
workflows	make sure ci-ok is red even if there are skipped tests (#16507)	2024-06-27 20:34:57 +00:00
CODEOWNERS	add CODEOWNERS file (#15438)	2024-02-16 11:31:23 +00:00
PULL_REQUEST_TEMPLATE.md	Add routine checks to pull request template	2023-05-12 13:34:19 -07:00