ci: Update build commands

jgillis · Jul 14, 2024 · c44a21e · c44a21e
1 parent 362518f
commit c44a21e
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -30,10 +30,8 @@ jobs:
       - uses: julia-actions/cache@v2
       - run: |
               mkdir build
-              pushd build
-              cmake ..
-              make
-              popd
+              camke -B build
+              make -C build
               #julia --startup-file=no --project=. -e 'using Pkg; Pkg.instantiate()'
               #julia --startup-file=no --project=compiler -e 'using Pkg; Pkg.instantiate()'
               #julia --startup-file=no --project=compiler compiler/build.jl foo