Skip to main content

Browse the archive

Revision c37a7bdd35515c3f5140a923d495be58f270caea authored by Philippe SWARTVAGHER on 27 April 2022, 10:36:09 UTC, committed by Philippe SWARTVAGHER on 27 April 2022, 10:36:09 UTC 
ci: use official shared runners and build several profiles
1 parent 96846f5
Raw File
README.dev 
With a fresh checkout, the configure file needs to be generated. This
is done by calling the following:

$ ./autogen.sh
back to top