2 Commits (c79c6506b980c80595e08c46c27b241fa7a497b5)

Author	SHA1	Message	Date
Jelte Fennema	8ab47f4f37	Add a CI check to see if all tests are part of a schedule (#3959) ... I recently forgot to add tests to a schedule in two of my PRs. One of these was caught by review, but the other one was not. This adds a script to causes CI to ensure that each test in the repo is included in at least one schedule. Three tests were found that were currently not part of a schedule. This PR adds those three tests to a schedule as well and it also fixes some small issues with these tests.	2020-07-03 11:34:55 +02:00
Jelte Fennema	9311978487	Add README for CI scripts ... We keep accumulating more and more scripts to flag issues in CI. This is good, but we are currently missing consistent documentation for them. This commit moves all these scripts to the `ci` directory and adds some documentation for all of them in the README. It also makes sure that the last line of output of a failed script points to this documentation.	2020-07-03 10:22:48 +02:00