Commit Graph

2 Commits

Author SHA1 Message Date
Oliver Drotbohm
eac157189c #87 - Set default build goal to verify.
Still configure build scripts to use it explicitly.
2022-09-12 17:51:55 +02:00
Oliver Drotbohm
a656089bb4 #87 - Initial scripts and tweaks for build and release via GitHub Actions. 2022-09-12 17:48:29 +02:00