WIP

h0nzZik · Jan 22, 2024 · 06610cb · 06610cb
1 parent 99b5f9b
commit 06610cb
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/build-and-profile.yml b/.github/workflows/build-and-profile.yml
@@ -31,9 +31,13 @@ jobs:
 
     - name: Install Nix
       uses: DeterminateSystems/nix-installer-action@v9     
+
+    - name: 'Build with Coq 8.18'
+      run: nix build -L '.#minuska-coq_8_18'
+
 
-    - name: Build
-      run: nix develop '.#minuska' --command ./build-and-profile.sh
+    #- name: Build
+    #  run: nix develop '.#minuska' --command ./build-and-profile.sh
 
     - name: CoqDoc
       run: nix develop '.#minuska' --command make -C minuska/ html