Bump CI action versions, pin nix to 2.3.16 (#326)

* Bump version, pin nix * Try to set Xmx * Outside?
runtimeverification · Nov 4, 2021 · 431a4a4 · 431a4a4
1 parent 1357b97
commit 431a4a4
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 7 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -14,7 +14,9 @@ jobs:
           submodules: recursive
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v12
+        uses: cachix/install-nix-action@v14.1
+        with:
+          install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
       - name: Upload release.nix
         uses: ttuegel/upload-release.nix@v1.0

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -14,14 +14,15 @@ jobs:
         submodules: recursive
 
     - name: Install Nix
-      uses: cachix/install-nix-action@v12
+      uses: cachix/install-nix-action@v14.1
       with:
         extra_nix_config: |
           substituters = http://cache.nixos.org https://hydra.iohk.io
           trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+        install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
     - name: Install Cachix
-      uses: cachix/cachix-action@v8
+      uses: cachix/cachix-action@v10
       with:
         name: runtimeverification
         extraPullNames: kore
@@ -44,21 +45,22 @@ jobs:
         submodules: recursive
 
     - name: Install Nix
-      uses: cachix/install-nix-action@v12
+      uses: cachix/install-nix-action@v14.1
       with:
         extra_nix_config: |
           substituters = http://cache.nixos.org https://hydra.iohk.io
           trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+        install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
     - name: Install Cachix
-      uses: cachix/cachix-action@v8
+      uses: cachix/cachix-action@v10
       with:
         name: runtimeverification
         extraPullNames: kore
         signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
 
     - name: Build
-      run: nix-build --cores 1
+      run: K_OPTS=-Xmx6G nix-build --cores 1
 
     - name: Run unit tests
       run: nix-build iele-assemble -A project.iele-assemble.checks

diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -28,11 +28,12 @@ jobs:
           submodules: recursive
 
       - name: Install Nix
-        uses: cachix/install-nix-action@v12
+        uses: cachix/install-nix-action@v14.1
         with:
           extra_nix_config: |
             substituters = http://cache.nixos.org https://hydra.iohk.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+          install_url: "https://releases.nixos.org/nix/nix-2.3.16/install"
 
       - name: Materialize
         run: ./nix/rematerialize.sh