From 9f7729388f34a302983b99542c14c74932eedea4 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Wed, 12 Jan 2022 09:12:27 -0800
Subject: [PATCH] [CI] fix cachix install-nix

There appears to be some unknowns regarding ensuring nix is installed,
but not overwritten (see
https://github.com/cachix/install-nix-action/issues/98 and
https://github.com/cachix/install-nix-actions/pull/100/files).
---
 .github/workflows/ci.yaml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index f04e1a3d..fcc85b8a 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -12,6 +12,7 @@ jobs:
       LC_ALL: en_US.UTF-8
       TZ: America/Los_Angeles
       CI_TEST_LEVEL: "2"
+      USER: runner
 
     runs-on: ${{ matrix.os }}
     strategy:
@@ -28,8 +29,20 @@ jobs:
       with:
         submodules: true
 
+    - name: Probe Build Environment
+      run: |
+        id
+        echo USER is $USER
+        uname -a
+        echo pwd
+        pwd
+        echo os-release
+        cat /etc/os-release
+        echo attempting sudo
+        sudo whoami
+      
     - name: Install Nix
-      uses: cachix/install-nix-action@v16
+      uses: kquick/install-nix-action
       with:
         nix_path: nixpkgs=channel:nixos-21.11
         install_url: https://releases.nixos.org/nix/nix-2.4/install