feat: rust dist builder workflow

seahorn · Dec 5, 2024 · da89940 · da89940
1 parent b2e4382
commit da89940
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
@@ -32,9 +32,9 @@ jobs:
         with: 
           #name: seaurchin-llvm-build
           repo: seahorn/seaurchin-llvm
-          workflow-name: build-seaurchin-llvm-assert-bin.yml
+          workflow: build-seaurchin-llvm-assert-bin.yml
           branch: dev-18
-          github-token: ${{ secrets.seaurchin-llvm-read }}
+          github_token: ${{ secrets.seaurchin-llvm-read }}
 
       - name: Checkout seaurchin
         uses: actions/checkout@v4