David Rheinsberg 134376d8da ci: move test_boot to github-actions ... Move the `test_boot` test from Travis over to the Github-Actions based CI. This is the last test on Travis, and the Travis CI can now be disabled, if we so wish. This test leaves a valid `travis.yml` file around, since Travis will still be enabled on the repository. We should first disable Travis and then drop this file, if we want to get rid of it.		2020-05-13 22:00:27 +02:00
..
runtime-tests.yml	ci: move test_boot to github-actions	2020-05-13 22:00:27 +02:00
tests.yml	test: integrate pylint into the test infrastructure	2020-05-13 14:26:05 +02:00