2 Commits (run_on_coordinator_and_worker)

Author	SHA1	Message	Date
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
Jelte Fennema	8de8b62669	Convert unsafe APIs to safe ones	2020-02-25 15:39:27 +01:00