feat: install py rust dist builder workflow

seahorn · Dec 5, 2024 · 0888d73 · 0888d73
1 parent 8d4b39f
commit 0888d73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -57,7 +57,7 @@ jobs:
     - name: Build/test rust
       run: |
         #sudo chown $USER:$USER /mnt/
-        RUSTFLAGS_NOT_BOOTSTRAP="-Cllvm-args=-debug-only=licm  -Cllvm-args=-licm-uses-ownsem" ./x.py  --config=config.ci.toml install 
+        RUSTFLAGS_NOT_BOOTSTRAP="-Cllvm-args=-debug-only=licm  -Cllvm-args=-licm-uses-ownsem" python x.py  --config=config.ci.toml install 
  
     # We need to create an archive of the build directory, because it has too
     # many files to upload.