intermediate checkin

riscv · May 2, 2024 · 819084d · 819084d
1 parent 0c5ab9a
commit 819084d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -20,7 +20,7 @@ jobs:
  run : |
  cd TEST_DIR_ROOT/riscv_tests.git ; \
  git fetch ; \
- git checkout riscv-tests-sail ; 
+ git checkout -b riscv-tests-sail ; 
  - name: Ensure pre-commit checks pass
  run: pip install pre-commit && pre-commit run --all-files --show-diff-on-failure --color=always
  - name: Init opam