Christian Decker fcd2320de7 gha: Make the setup and build scripts exit if anything fails ... Caused quite a few headaches and red herrings in the past, so let's be stricter. Changelog-None		2022-09-20 10:33:40 +02:00
..
build.sh	gha: Make the setup and build scripts exit if anything fails	2022-09-20 10:33:40 +02:00
setup.sh	gha: Make the setup and build scripts exit if anything fails	2022-09-20 10:33:40 +02:00