Update CI after end-to-end correctness

CakeML · Mar 14, 2023 · ffe2dd6 · ffe2dd6
1 parent 5e83966
commit ffe2dd6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
@@ -19,6 +19,7 @@ jobs:
   build:
     runs-on: self-hosted
     container: ubuntu:20.04
+    timeout-minutes: 480
 
     env:
       HOLDIR: ${{ github.workspace }}/HOL
@@ -146,6 +147,11 @@ jobs:
       run: |
         cd pure/compiler
         Holmake
+
+    - name: Build CakeML compiler/backend/proofs
+      run: |
+        cd $CAKEMLDIR/compiler/backend/proofs
+        Holmake
     - name: Build compiler/proofs
       run: |
         cd pure/compiler/proofs