feat: rust dist builder workflow

seahorn · Dec 5, 2024 · 016e800 · 016e800
1 parent af43ef9
commit 016e800
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -9,8 +9,7 @@ on:
     branches:
       - dev-18
     paths:
-      - .github/workflows/build-ci-container.yml
-      - 'docker/**'
+      - .github/workflows/build-rust-dist-docker.yml
 
 jobs:
   build-ci-container: