feat: install py rust dist builder workflow

seahorn · Dec 6, 2024 · e26ac34 · e26ac34
1 parent df78ad2
commit e26ac34
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
@@ -26,7 +26,7 @@ jobs:
           container_name="ghcr.io/$GITHUB_REPOSITORY_OWNER/seaurchin-llvm/buildpack-deps-seaurchin"
           echo "container-name=buildpack-deps-seaurchin" >> $GITHUB_OUTPUT
           echo "container-name-tag=$container_name:latest" >> $GITHUB_OUTPUT
-      
+
   build-rust-dist-container:
     needs: prepare-rust-dist
     runs-on: ubuntu-22.04