David Bauer 64d3ea4706 contrib: add build-script for GitHub actions		2020-04-04 17:35:44 +02:00
..
generate-actions.py	contrib: add generation script for GitHub actions	2020-04-04 17:35:44 +02:00
run-build.sh	contrib: add build-script for GitHub actions	2020-04-04 17:35:44 +02:00