diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ce20941..f56efb8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,12 +13,16 @@ jobs:
     runs-on: ubuntu-latest
     needs: find-latest-release
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Set up Java 17
         run: |
           echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH
           echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV
         shell: bash
+      - name: Install nix
+        run: sudo apt install nix
+      - name: Run nix develop
+        run: sudo nix develop --extra-experimental-features nix-command flakes
       - uses: lf-lang/action-check-lf-files@main
         with:
           check_mode: "compile"
@@ -31,7 +35,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: find-latest-release
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Set up Java 17
         run: |
           echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH