From da89940619ff48ed5f3d4f0d0c9591b8ab2e1631 Mon Sep 17 00:00:00 2001
From: Siddharth Priya <s2priya@uwaterloo.ca>
Date: Thu, 5 Dec 2024 13:50:03 -0500
Subject: [PATCH] feat: rust dist builder workflow

---
 .github/workflows/build-rust-dist-docker.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
index be88ac55eca01..14272cbb54343 100644
--- 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