Merge pull request #1282 from cryspen/update-ci-deps

Update CI dependencies

.github/workflows/engine_js_build.yml

@@ -12,6 +12,6 @@ jobs:
     if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'merge_group' }}
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: DeterminateSystems/nix-installer-action@main
     - run: nix build .\#hax-engine.passthru.js -L  

.github/workflows/format.yml

@@ -12,7 +12,7 @@ jobs:
     name: ocamlformat
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: DeterminateSystems/nix-installer-action@main
     - name: Run OCaml formatter
       run: |
@@ -23,7 +23,7 @@ jobs:
     name: rustfmt
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: DeterminateSystems/nix-installer-action@main
     - name: Run Rust formatter
       run: |

.github/workflows/install_and_test.yml

@@ -12,7 +12,7 @@ jobs:
     name: nix-action
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: DeterminateSystems/nix-installer-action@main
     - uses: cachix/cachix-action@v15
       with:
@@ -44,7 +44,7 @@ jobs:
         nix build .#rust-by-example-hax-extraction -L
 
     - name: Checkout specifications
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         repository: 'hacspec/specs'
         path: specs

.github/workflows/licenses.yml

@@ -12,7 +12,7 @@ jobs:
     name: nix-action
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: extractions/setup-just@v1
     - name: Set-up OCaml
       uses: ocaml/setup-ocaml@v3

.github/workflows/release.yml

@@ -12,7 +12,7 @@ jobs:
     permissions:
       contents: write
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: DeterminateSystems/nix-installer-action@main
     - name: Build JS
       run: nix build .#hax-engine.passthru.js -L -o hax-engine.js
@@ -41,7 +41,7 @@ jobs:
       contents: write
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - uses: ocaml/setup-ocaml@v2
         with:

.github/workflows/test_installs.yml

@@ -12,7 +12,7 @@ jobs:
     if: ${{ github.event_name == 'workflow_dispatch'  || github.event_name == 'merge_group'  }}
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - run: docker build -f .docker/Dockerfile . -t hax
   setup_sh:
     if: ${{ github.event_name == 'workflow_dispatch'  || github.event_name == 'merge_group'   }}
@@ -25,7 +25,7 @@ jobs:
           - macos-13
     runs-on: ${{ matrix.os }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - if: runner.os == 'macOS'
       run: brew install opam nodejs rustup-init jq
     - if: runner.os == 'Linux'

dependabot.yml

@@ -4,3 +4,7 @@ updates:
   directory: "/"
   schedule:
     interval: "weekly"
+- package-ecosystem: "github-actions"
+  directory: "/"
+  schedule:
+    interval: "weekly"