Fixup

vmcj · vmcj · commit dc7586953692 · 2024-12-09T21:53:13.000+01:00
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+. .github/jobs/ci_settings.sh
+
 # Functions to annotate the Github actions logs
 alias trace_on='set -x'
 alias trace_off='{ set +x; } 2>/dev/null'
