CI updates

2025-09-30 20:38:33 +02:00
parent 466ceb4a1f
commit 12d1c6bbda
11 changed files with 22 additions and 16 deletions
@@ -653,6 +653,7 @@ jobs:
          # install zig; note that ~/.local/bin is included in the default $PATH on Ubuntu
          mkdir -p -v ~/.local/bin
          cd ~/.local/bin
+          ZIG_DIST_VERSION=${ZIG_DIST_VERSION/#zig-/}
          ZIG_DIST_NAME=zig-linux-x86_64-${ZIG_DIST_VERSION}
          ZIG_DIST_NAME=zig-x86_64-linux-${ZIG_DIST_VERSION}
          #curl -sS -L -O https://ziglang.org/builds/${ZIG_DIST_NAME}.tar.xz