Dario Nieuwenhuis 68c6a85a71 ci: do not run tests on master push ... bors already tests the *result* of merging PRs into master, and then pushes the *exact same commit* to master on success, so it's guaranteed to pass CI. No point in running everything again. This'll make other CI runs faster, since we have so many jobs that we're always running against the GHA limit of 10 concurrent jobs.		2021-10-21 01:53:56 +02:00
..
workflows	ci: do not run tests on master push	2021-10-21 01:53:56 +02:00
bors.toml	make bors checks much simpler	2021-10-05 21:50:50 +02:00