From 2d500a16c278825787c77b072d1ab5d558d19a57 Mon Sep 17 00:00:00 2001
From: Daniel Nezamabadi <55559979+dnezam@users.noreply.github.com>
Date: Tue, 24 Mar 2026 20:35:37 +0800
Subject: [PATCH 1/2] Fix download link and types.txt in build-instructions.sh

---
 build-instructions.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-instructions.sh b/build-instructions.sh
index fe4840c5..053508fe 100755
--- a/build-instructions.sh
+++ b/build-instructions.sh
@@ -2,7 +2,7 @@
 set -euo pipefail
 
 # Get the 64-bit CakeML compiler from here:
-#curl -OL https://cakeml.org/regression/artefacts/3149/cake-x64-64.tar.gz
+curl -OL https://cakeml.org/regression/artefacts/3276/cake-x64-64.tar.gz
 tar xvzf cake-x64-64.tar.gz
 
 # By default, the CakeML compiler reserves a few kilobytes for constants and
@@ -18,7 +18,7 @@ cd cake-x64-64 && make && cd ..
 cp cake-x64-64/cake cake-x64-64/config_enc_str.txt cake-x64-64/candle_boot.ml .
 
 # Create the types.txt file necessary for candle_insulate.py
-./cake --types < /dev/null
+./cake --types < /dev/null > types.txt 2>&1
 
 # Generate candle_insulate.ml
 python candle_insulate.py types.txt candle_insulate.ml

From b10ffb52e3c3d976754346a699b5fc5ea9ee6b61 Mon Sep 17 00:00:00 2001
From: Daniel Nezamabadi <55559979+dnezam@users.noreply.github.com>
Date: Tue, 24 Mar 2026 20:48:25 +0800
Subject: [PATCH 2/2] Add criu installation to regression-tests.yml

---
 .github/workflows/regression-tests.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/regression-tests.yml b/.github/workflows/regression-tests.yml
index 02f29ef9..10181879 100644
--- a/.github/workflows/regression-tests.yml
+++ b/.github/workflows/regression-tests.yml
@@ -11,4 +11,14 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
-      - run: ./test.sh
\ No newline at end of file
+
+      - name: Install CRIU
+        run: |
+          sudo add-apt-repository -y ppa:criu/ppa
+          sudo apt-get update
+          sudo apt-get install -y criu
+
+      - name: Verify CRIU installation
+        run: sudo criu check
+
+      - run: ./test.sh