From ec1f05b353ed7542ee2f23f4d0a0222cd2c57b80 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 7 Dec 2022 11:28:44 -0700
Subject: [PATCH 1/2] Test pushing, confirming failure of Hlint on master

---
 .github/workflows/release.yml | 10 +++++-----
 .github/workflows/test.yml    | 14 +++++++-------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index beb8cb3dba..4205ddbeda 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
@@ -47,7 +47,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
@@ -79,7 +79,7 @@ jobs:
           sudo apt install --yes z3
 
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
@@ -112,7 +112,7 @@ jobs:
           sudo apt install --yes z3
 
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
@@ -145,7 +145,7 @@ jobs:
           sudo apt install --yes z3
 
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           submodules: recursive
 
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a0a4ac2552..fc83887b2d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -21,7 +21,7 @@ jobs:
     runs-on: ${{ matrix.runner }}
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -70,7 +70,7 @@ jobs:
     needs: nix-build
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -103,7 +103,7 @@ jobs:
         run: |
           sudo apt install --yes z3
 
-      - uses: actions/checkout@v2.3.4
+      - uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -141,7 +141,7 @@ jobs:
         run: |
           sudo apt install --yes z3
 
-      - uses: actions/checkout@v2.3.4
+      - uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -182,7 +182,7 @@ jobs:
         run: |
           sudo apt install --yes z3
 
-      - uses: actions/checkout@v2.3.4
+      - uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -213,7 +213,7 @@ jobs:
     env:
       hlint_version: "3.4.1"
     steps:
-      - uses: actions/checkout@v2.3.4
+      - uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
@@ -231,7 +231,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out code
-        uses: actions/checkout@v2.3.4
+        uses: actions/checkout@v3
         with:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}

From 67c769eb9ddbd179768bddfc126c37df6ca3b7eb Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Wed, 7 Dec 2022 11:35:51 -0700
Subject: [PATCH 2/2] install hlint libtinfo5 dependency, update cachix install
 to v15

---
 .github/workflows/test.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index fc83887b2d..65ab5cf7fa 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -77,7 +77,7 @@ jobs:
           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
@@ -219,6 +219,10 @@ jobs:
           ref: ${{ github.event.pull_request.head.sha }}
           submodules: recursive
 
+      - name: Install HLINT Dependencies
+        run: |
+          sudo apt-get update && DEBIAN_FRONTEND=noninteractive sudo apt-get install --yes libtinfo5
+
       - name: Download hlint
         run: curl -sSL https://github.com/ndmitchell/hlint/releases/download/v${{ env.hlint_version }}/hlint-${{ env.hlint_version }}-x86_64-linux.tar.gz | tar xvz
 
@@ -238,7 +242,7 @@ jobs:
           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