Apply suggestions from code review

Co-authored-by: Michael Tautschnig <mt@debian.org>
model-checking · Sep 13, 2024 · 98f213c · 98f213c
1 parent c18d6d5
commit 98f213c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -35,11 +35,11 @@ jobs:
  submodules: true
 
  - name: Run Kani Script
- run: bash ./head/scripts/run-kani.sh --path ${{github.workspace}}/head
+ run: head/scripts/run-kani.sh --path ${{github.workspace}}/head
 
  - name: Run Kani Script with --kani-args and -p
- run: bash ./head/scripts/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
+ run: head/scripts/run-kani.sh -p ${{github.workspace}}/head --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
 
  - name: Run Kani Script without -p
  working-directory: ${{github.workspace}}/head
- run: bash ./scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut
+ run: scripts/run-kani.sh --kani-args --harness ptr::verify::check_read_u128 --harness ptr::unique::verify::check_as_mut