From 13f2fda9e9f658110933423438d76544ad3f76ee Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 24 Aug 2023 22:56:13 +1000
Subject: [PATCH] ci: try to stop macOS via Nix from failing

---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 2af8c4c9..9c5c7b9a 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -118,6 +118,8 @@ jobs:
         uses: cachix/install-nix-action@v22
         with:
           nix_path: nixpkgs=channel:nixos-unstable
+      - name: Update Nix channel
+        run: nix-channel --update
       - name: Build and run VMM examples
         run: nix-shell --pure --run "./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6"
       - name: Upload built system images