feat: rust dist builder workflow

seahorn · Dec 5, 2024 · 143b752 · 143b752
1 parent 016e800
commit 143b752
Showing 1 changed file with 2 additions and 2 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
@@ -12,7 +12,7 @@ on:
       - .github/workflows/build-rust-dist-docker.yml
 
 jobs:
-  build-ci-container:
+  build-rust-dist-container:
     if: github.repository_owner == 'seahorn'
     runs-on: ubuntu-latest
     permissions: