ci: remove crossVersion

iscas-tis · Oct 14, 2024 · 6a58245 · 6a58245
1 parent e8319e6
commit 6a58245
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
@@ -26,7 +26,7 @@ jobs:
       - name: Cache Scala
         uses: coursier/cache-action@v5
       - name: mill Test
-        run:  mill "chiselModule[3.6.0]".test
+        run:  mill chiselModule.test
       # - name: Single BtorMC Run 15 Steps
       #   if: always()
       #   run: btormc ./test_run_dir/NutCoreFormal_should_pass/NutCore.btor -kmax 15 --trace-gen-full --btor-stats > ./test_run_dir/NutCoreFormal_should_pass/15step.txt