CI updates

2024-03-29 12:11:41 +01:00
parent 7b21a0620b
commit 70b20d7d89
12 changed files with 56 additions and 29 deletions
@@ -5,6 +5,7 @@ argv0=$0; argv0abs="$(readlink -fn "$argv0")"; argv0dir="$(dirname "$argv0abs")"

 # run an interactive shell in the image
 # using a rootless Podman container
+# Copyright (C) Markus Franz Xaver Johannes Oberhumer

 image="$("$argv0dir/10-create-image.sh" --print-image)"