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

..

workflows

#87 - Set default build goal to verify.

2022-09-12 17:51:55 +02:00