Jasper Vaneessen 2d884c7252
ci: split up into multiple workflows
* ci: split up workflows

* ci: tweaks and housekeeping

* ci: additional comments and requested changes

* ci: additional comments

* chore: clean up .gitignore
2022-09-05 13:11:20 +02:00
..
2022-09-05 13:11:20 +02:00