#474 Put some files under source control

2024-03-10 11:02:58 +01:00
parent 1cce2f1434
commit bc584f8fcb
2 changed files with 2 additions and 1 deletions
@@ -141,7 +141,7 @@ jobs:

          if [[ DO_UPDATE -eq 1 ]]; then
            test -d src && rm -rf src
-            docker build --no-cache --progress=plain --build-arg "TAG=$NEW_VERSION" -o . .
+            docker build --progress=plain --build-arg "TAG=$NEW_VERSION" -o . .
            echo $NEW_VERSION >src/RELEASE
          fi

@@ -0,0 +1 @@
+none