David Bauer ebac7e4459 contrib: add build-script for GitHub actions		2020-04-04 18:04:31 +02:00
..
generate-actions.py	contrib: add generation script for GitHub actions	2020-04-04 18:04:31 +02:00
run-build.sh	contrib: add build-script for GitHub actions	2020-04-04 18:04:31 +02:00