feat: install py rust dist builder workflow

.github/workflows/build-rust-dist-docker.yml

@@ -27,26 +27,32 @@ jobs:
         with:
           python-version: '3.13' 
 
-      - name: Download seaurchin-llvm
+      - name: Download seaurchin-llvm latest green source
         uses: dawidd6/action-download-artifact@v7
         with: 
           repo: seahorn/seaurchin-llvm
           workflow: build-seaurchin-llvm-assert-bin.yml
           branch: dev-18
           github_token: ${{secrets.GITHUB_TOKEN}}
           path: seaurchin-llvm
-
+          name: seaurchin-llvm-source
       - name: Display structure of downloaded seaurchin-llvm artefact
         run: ls -laHR seaurchin-llvm      
 
-      - name: Unpack seaurchin-llvm build artifacts only
+      - name: Unpack seaurchin-llvm source
         run: |
-          tar --zstd -C seaurchin-llvm/seaurchin-llvm-assert-build/ -xf seaurchin-llvm/seaurchin-llvm-assert-build/seaurchin-llvm-assert-build.tar.zst
-          rm seaurchin-llvm/seaurchin-llvm-assert-build/seaurchin-llvm-assert-build.tar.zst
+          tar --zstd -C seaurchin-llvm/seaurchin-llvm-source/ -xf seaurchin-llvm/seaurchin-llvm-source/seaurchin-llvm-project.tar.zst
+          rm seaurchin-llvm/seaurchin-llvm-source/seaurchin-llvm-project.tar.zst
 
-      - name: Build/test rust
+      - name: Build seaurchin-llvm
         run: |
           sudo chown $USER:$USER /mnt/
+          cmake -G Ninja -C seaurchin-llvm/seaurchin-llvm-source/clang/cmake/caches/Release.cmake -DLLVM_ENABLE_ASSERTIONS=ON -DCMAKE_C_COMPILER_LAUNCHER=sccache -DCMAKE_CXX_COMPILER_LAUNCHER=sccache -DLLVM_TARGETS_TO_BUILD="X86" -DLLVM_FORCE_ENABLE_STATS=ON -S llvm -B /mnt/build
+          ninja -v -C /mnt/build llvm-config
+
+      - name: Build/test rust
+        run: |
+          #sudo chown $USER:$USER /mnt/
           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