Nanne Baars 01d3453c41 Simplify Github actions
Consolidate build steps to 1 script this way we don't run multiple builds for pushing a branch and create a PR.
2021-10-24 09:30:00 +02:00
..
2021-10-24 09:30:00 +02:00
2021-10-24 09:30:00 +02:00