Fix workflow error

twizzler-operating-system · Oct 11, 2024 · 1b33383 · 1b33383
1 parent 03048bc
commit 1b33383
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
@@ -24,7 +24,7 @@ jobs:
       with:
         submodules: recursive
     - name: Run replace script
-      run: ./admin_scripts/replace.sh
+      run: ./admin_scripts/kani_nvme_controller_value.sh
     - name: Install latest nightly
       uses: actions-rs/toolchain@v1
       with: