feat: rust dist builder workflow

seahorn · Dec 5, 2024 · 59632eb · 59632eb
1 parent 2f51187
commit 59632eb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
@@ -1,5 +1,5 @@
 
-name: Build builddeps Container
+name: Build Rust Dist Container
 
 permissions:
   contents: read
@@ -9,11 +9,11 @@ on:
     branches:
       - dev-18
     paths:
-      - .github/workflows/build-ci-container.yml
+      - .github/workflows/build-rust-dist-docker.yml
       - 'docker/**'
 
 jobs:
-  build-ci-container:
+  build-rust-dist-container:
     if: github.repository_owner == 'seahorn'
     runs-on: ubuntu-latest
     permissions: