diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b6fcaeaf3..6c8caa126 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,13 +17,13 @@ jobs:
         operating-system: [macos-latest, ubuntu-latest]
     runs-on: ${{ matrix.operating-system }}
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-node@v2
+      - uses: actions/checkout@v3
+      - uses: actions/setup-node@v3
       - name: Installing esy
         run: sudo npm install -g esy@0.6.12 --unsafe-perm
       - name: Restore Cache
         id: restore-cache
-        uses: actions/cache@v1
+        uses: actions/cache@v3
         with:
           path: _export
           key: ${{ runner.os }}-esy-0.6.12-${{ hashFiles('esy.lock/index.json') }}
@@ -47,7 +47,7 @@ jobs:
       - name: Building release
         run: "esy release"
       - name: Sending artifact for next jobs
-        uses: actions/upload-artifact@v1
+        uses: actions/upload-artifact@v3
         with:
           name: ${{ runner.os }}-release
           path: _release
@@ -65,18 +65,18 @@ jobs:
     needs: build
     steps:
       - name: download release
-        uses: actions/download-artifact@v1
+        uses: actions/download-artifact@v3
         with:
           name: ${{ runner.os }}-release
           path: release
       - name: setting up node
-        uses: actions/setup-node@v2
+        uses: actions/setup-node@v3
       - name: install release
         run: |
           yarn global add file://$(pwd)/release
           echo "$(yarn global bin)" >> $GITHUB_PATH
       - name: checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           path: Gillian
       - name: init env
@@ -89,65 +89,65 @@ jobs:
         run: "make"
         working-directory: "Gillian/Gillian-C/examples/amazon/"
 
-  gillian_js_tests:
-    strategy:
-      matrix:
-        operating-system: [macos-latest, ubuntu-latest]
-    runs-on: ${{ matrix.operating-system }}
-    needs: build
-    steps:
-      - name: download release
-        uses: actions/download-artifact@v1
-        with:
-          name: ${{ runner.os }}-release
-          path: release
-      - name: setting up node
-        uses: actions/setup-node@v2
-      - name: install release
-        run: |
-          yarn global add file://$(pwd)/release
-          echo "$(yarn global bin)" >> $GITHUB_PATH
-      - name: checkout project
-        uses: actions/checkout@v2
-        with:
-          path: Gillian
-      - name: init env
-        run: "Gillian-JS/scripts/setup_environment.sh"
-        working-directory: "Gillian"
-      - name: Test JaVerT
-        run: "./testJaVerT.sh"
-        working-directory: "Gillian/Gillian-JS/environment/"
-      - name: Test Amazon
-        run: "make"
-        working-directory: "Gillian/Gillian-JS/Examples/Amazon/"
+  # gillian_js_tests:
+  #   strategy:
+  #     matrix:
+  #       operating-system: [macos-latest, ubuntu-latest]
+  #   runs-on: ${{ matrix.operating-system }}
+  #   needs: build
+  #   steps:
+  #     - name: download release
+  #       uses: actions/download-artifact@v3
+  #       with:
+  #         name: ${{ runner.os }}-release
+  #         path: release
+  #     - name: setting up node
+  #       uses: actions/setup-node@v3
+  #     - name: install release
+  #       run: |
+  #         yarn global add file://$(pwd)/release
+  #         echo "$(yarn global bin)" >> $GITHUB_PATH
+  #     - name: checkout project
+  #       uses: actions/checkout@v3
+  #       with:
+  #         path: Gillian
+  #     - name: init env
+  #       run: "Gillian-JS/scripts/setup_environment.sh"
+  #       working-directory: "Gillian"
+  #     - name: Test JaVerT
+  #       run: "./testJaVerT.sh"
+  #       working-directory: "Gillian/Gillian-JS/environment/"
+  #     - name: Test Amazon
+  #       run: "make"
+  #       working-directory: "Gillian/Gillian-JS/Examples/Amazon/"
 
-  test262:
-    if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
-    strategy:
-      matrix:
-        operating-system: [macos-latest]
-    runs-on: ${{ matrix.operating-system }}
-    needs: build
-    steps:
-      - name: download release
-        uses: actions/download-artifact@v1.0.0
-        with:
-          name: ${{ runner.os }}-release
-          path: release
-      - name: setting up node
-        uses: actions/setup-node@v2
-      - name: install release
-        run: |
-          yarn global add file://$(pwd)/release
-          echo "$(yarn global bin)" >> $GITHUB_PATH
-      - name: checkout project
-        uses: actions/checkout@v2.0.0
-        with:
-          repository: GillianPlatform/javert-test262
-          path: test262
-          ref: 93e0d0b04093cabc3234a776eec5cc3e165f3b1a
-      - name: Test262
-        run: "gillian-js test262 test262/test --ci"
+  # test262:
+  #   if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
+  #   strategy:
+  #     matrix:
+  #       operating-system: [macos-latest]
+  #   runs-on: ${{ matrix.operating-system }}
+  #   needs: build
+  #   steps:
+  #     - name: download release
+  #       uses: actions/download-artifact@v3
+  #       with:
+  #         name: ${{ runner.os }}-release
+  #         path: release
+  #     - name: setting up node
+  #       uses: actions/setup-node@v3
+  #     - name: install release
+  #       run: |
+  #         yarn global add file://$(pwd)/release
+  #         echo "$(yarn global bin)" >> $GITHUB_PATH
+  #     - name: checkout project
+  #       uses: actions/checkout@v3
+  #       with:
+  #         repository: GillianPlatform/javert-test262
+  #         path: test262
+  #         ref: 93e0d0b04093cabc3234a776eec5cc3e165f3b1a
+  #     - name: Test262
+  #       run: "gillian-js test262 test262/test --ci"
 
   collections-c:
     if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
@@ -158,18 +158,18 @@ jobs:
     needs: build
     steps:
       - name: download release
-        uses: actions/download-artifact@v1
+        uses: actions/download-artifact@v3
         with:
           name: ${{ runner.os }}-release
           path: release
       - name: setting up node
-        uses: actions/setup-node@v2
+        uses: actions/setup-node@v3
       - name: install release
         run: |
           yarn global add file://$(pwd)/release
           echo "$(yarn global bin)" >> $GITHUB_PATH
       - name: checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           repository: GillianPlatform/collections-c-for-gillian
           path: collections-c
@@ -178,31 +178,31 @@ jobs:
         run: "./runGillianTests.sh"
         working-directory: collections-c
 
-  test-Buckets:
-    if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
-    strategy:
-      matrix:
-        operating-system: [macos-latest]
-    runs-on: ${{ matrix.operating-system }}
-    needs: build
-    steps:
-      - name: download release
-        uses: actions/download-artifact@v1
-        with:
-          name: ${{ runner.os }}-release
-          path: release
-      - name: setting up node
-        uses: actions/setup-node@v2
-      - name: install release
-        run: |
-          yarn global add file://$(pwd)/release
-          echo "$(yarn global bin)" >> $GITHUB_PATH
-      - name: checkout project
-        uses: actions/checkout@v2
-        with:
-          path: Gillian
-      - name: Symbolic Testing Buckets.js
-        run: "gillian-js cosette-bulk Gillian/Gillian-JS/Examples/Cosette/Buckets --ci"
+  # test-Buckets:
+  #   if: ( github.event_name == 'pull_request') && ( github.base_ref == 'master')
+  #   strategy:
+  #     matrix:
+  #       operating-system: [macos-latest]
+  #   runs-on: ${{ matrix.operating-system }}
+  #   needs: build
+  #   steps:
+  #     - name: download release
+  #       uses: actions/download-artifact@v3
+  #       with:
+  #         name: ${{ runner.os }}-release
+  #         path: release
+  #     - name: setting up node
+  #       uses: actions/setup-node@v3
+  #     - name: install release
+  #       run: |
+  #         yarn global add file://$(pwd)/release
+  #         echo "$(yarn global bin)" >> $GITHUB_PATH
+  #     - name: checkout project
+  #       uses: actions/checkout@v3
+  #       with:
+  #         path: Gillian
+  #     - name: Symbolic Testing Buckets.js
+  #       run: "gillian-js cosette-bulk Gillian/Gillian-JS/Examples/Cosette/Buckets --ci"
 
   test-docker:
     runs-on: ubuntu-latest