From 3751f820c5b19291498e835398d49373cd71fcd0 Mon Sep 17 00:00:00 2001 From: Freeman <105403280+F-WRunTime@users.noreply.github.com> Date: Mon, 12 Dec 2022 10:27:28 -0700 Subject: [PATCH 1/6] CI version and os updates There has been an issue found in using the cachix action in the recently updated GH public runners need to pin to 20.04 for continued capability on CI. --- .github/workflows/test.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 2d312943e..45b9ce8b4 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -6,15 +6,15 @@ jobs: # Run ./nix/rematerialize.sh from iele-assemble if this job fails. test-nix-material: name: 'Nix materialization' - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - name: Check out code - uses: actions/checkout@v2.3.4 + uses: actions/checkout@v3 with: submodules: recursive - name: Install Nix - uses: cachix/install-nix-action@v14.1 + uses: cachix/install-nix-action@v15 with: extra_nix_config: | substituters = http://cache.nixos.org https://hydra.iohk.io @@ -22,7 +22,7 @@ jobs: install_url: "https://releases.nixos.org/nix/nix-2.3.16/install" - name: Install Cachix - uses: cachix/cachix-action@v10 + uses: cachix/cachix-action@v15 with: name: runtimeverification extraPullNames: kore @@ -36,16 +36,16 @@ jobs: needs: test-nix-material strategy: matrix: - os: [ubuntu-latest, macos-latest] + os: [ubuntu-20.04, macos-latest] runs-on: ${{ matrix.os }} steps: - name: Check out code - uses: actions/checkout@v2.3.4 + uses: actions/checkout@v3 with: submodules: recursive - name: Install Nix - uses: cachix/install-nix-action@v14.1 + uses: cachix/install-nix-action@v15 with: extra_nix_config: | substituters = http://cache.nixos.org https://hydra.iohk.io From da2f254e49b73d532c530835c2e556605064427b Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 12 Dec 2022 10:31:29 -0700 Subject: [PATCH 2/6] Addtional checkout version updates and Pin OS for public runner --- .github/workflows/release.yml | 6 +++--- .github/workflows/update.yml | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f53547682..30a678664 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -6,15 +6,15 @@ on: jobs: nix-release: - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - name: Check out code - uses: actions/checkout@v2.3.4 + uses: actions/checkout@v3 with: submodules: recursive - name: Install Nix - uses: cachix/install-nix-action@v14.1 + uses: cachix/install-nix-action@v15 with: install_url: "https://releases.nixos.org/nix/nix-2.3.16/install" diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index ff5645199..c41759c2a 100644 --- a/.github/workflows/update.yml +++ b/.github/workflows/update.yml @@ -7,7 +7,7 @@ on: jobs: nix: name: 'Nix' - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - id: config run: | @@ -22,13 +22,13 @@ jobs: git config --global user.email github-actions@github.com - name: Check out code - uses: actions/checkout@v2.3.4 + uses: actions/checkout@v3 with: ref: ${{ steps.config.outputs.ref }} submodules: recursive - name: Install Nix - uses: cachix/install-nix-action@v14.1 + uses: cachix/install-nix-action@v15 with: extra_nix_config: | substituters = http://cache.nixos.org https://hydra.iohk.io From c3f9ab3bad803324229f2a290c6b5d541f4271ab Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 12 Dec 2022 10:36:42 -0700 Subject: [PATCH 3/6] Testing using same versions as haskell backend, trying to set a standard across repositories. --- .github/workflows/release.yml | 2 +- .github/workflows/test.yml | 6 +++--- .github/workflows/update.yml | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 30a678664..5c976b9ca 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -16,7 +16,7 @@ jobs: - name: Install Nix uses: cachix/install-nix-action@v15 with: - install_url: "https://releases.nixos.org/nix/nix-2.3.16/install" + install_url: https://releases.nixos.org/nix/nix-2.7.0/install - name: Upload release.nix uses: ttuegel/upload-release.nix@v1.0 diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 45b9ce8b4..906031943 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -19,10 +19,10 @@ jobs: 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" + install_url: https://releases.nixos.org/nix/nix-2.7.0/install - name: Install Cachix - uses: cachix/cachix-action@v15 + uses: cachix/cachix-action@v10 with: name: runtimeverification extraPullNames: kore @@ -50,7 +50,7 @@ jobs: 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" + install_url: https://releases.nixos.org/nix/nix-2.7.0/install - name: Install Cachix uses: cachix/cachix-action@v10 diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index c41759c2a..2cce12aab 100644 --- a/.github/workflows/update.yml +++ b/.github/workflows/update.yml @@ -33,7 +33,7 @@ jobs: 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" + install_url: https://releases.nixos.org/nix/nix-2.7.0/install - name: Materialize run: ./nix/rematerialize.sh From 8b42af1d96ec33440884b1efabce1df4dfa17202 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 12 Dec 2022 10:41:24 -0700 Subject: [PATCH 4/6] Miss auth token for cachix repository --- .github/workflows/test.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 906031943..60e18304f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -25,6 +25,7 @@ jobs: uses: cachix/cachix-action@v10 with: name: runtimeverification + authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}' extraPullNames: kore skipPush: true @@ -56,6 +57,7 @@ jobs: uses: cachix/cachix-action@v10 with: name: runtimeverification + authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}' extraPullNames: kore signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' From e9e66ccecc7e4cb146015dadd358d585b2463078 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 12 Dec 2022 10:44:17 -0700 Subject: [PATCH 5/6] Change to k-framework cachix repository --- .github/workflows/test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 60e18304f..c95102393 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -24,7 +24,7 @@ jobs: - name: Install Cachix uses: cachix/cachix-action@v10 with: - name: runtimeverification + name: k-framework authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}' extraPullNames: kore skipPush: true @@ -56,7 +56,7 @@ jobs: - name: Install Cachix uses: cachix/cachix-action@v10 with: - name: runtimeverification + name: k-framework authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}' extraPullNames: kore signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' From cb333c098d9a236f5f72d3a5b84368234d15d9e7 Mon Sep 17 00:00:00 2001 From: F-WRunTime Date: Mon, 12 Dec 2022 13:46:32 -0700 Subject: [PATCH 6/6] Skippush on test --- .github/workflows/test.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index c95102393..2f713e605 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -60,6 +60,7 @@ jobs: authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}' extraPullNames: kore signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}' + skipPush: true - name: Build run: K_OPTS=-Xmx6G nix-build --cores 1