From 91fcc6b4701c7eb6dd0256f517706b2b036049cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Felix=20=22xq=22=20Quei=C3=9Fner?= <git@random-projects.net>
Date: Fri, 12 Jan 2024 11:02:48 +0100
Subject: [PATCH] Deduplicates info in github ci script.

---
 .github/workflows/build.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 350c2ae..5395153 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,5 +1,9 @@
 name: Continuous Integration
 
+env:
+  # Specify the current Zig version MicroZig uses:
+  ZIG_VERSION: 0.11.0
+
 on:
   push:
     branches: [main]
@@ -17,15 +21,15 @@ jobs:
 
       - name: Fetch more data from git
         run: |
-          # fetch everything back till the 0.11.0 tag.
+          # fetch everything back till the $(ZIG_VERSION) tag.
           # https://stackoverflow.com/a/58082274
-          git fetch --shallow-exclude 0.11.0
+          git fetch --shallow-exclude ${{ env.ZIG_VERSION }}
           git fetch --deepen=2
 
       - name: Setup Zig
         uses: goto-bus-stop/setup-zig@v2
         with:
-          version: 0.11.0
+          version: ${{ env.ZIG_VERSION }}
 
       - name: Install PIP packages
         run: |