From 4ebc5950c8cd1dea6ac9364bf161afc4ac670f41 Mon Sep 17 00:00:00 2001
From: Dan Nixon <dan@dan-nixon.com>
Date: Mon, 23 Oct 2023 18:32:50 +0100
Subject: [PATCH] Evaluate devShell is separate CI step

---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2e4c8ca9..71b0a997 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,6 +18,11 @@ jobs:
       - uses: actions/checkout@v3
       - uses: cachix/install-nix-action@v20
 
+        # Evaluate the devshell here so that the time reported for subsequent
+        # steps that use it reflect what is actually done there.
+      - name: Evaluate devshell
+        run: nix develop
+
       - name: Format
         run: nix develop --command treefmt --fail-on-change