From 1e7e35d475202a9baa656a7171b36ce90b5ef644 Mon Sep 17 00:00:00 2001
From: Declan Moran <dec1@users.noreply.github.com>
Date: Mon, 13 May 2024 13:42:30 +0200
Subject: [PATCH] fix ci: set the GH_TOKEN environment variable

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

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index dd97f2c17..e03af044d 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -31,6 +31,8 @@ jobs:
 
       - name: Determine the Tag Name
         id: get-tag-name
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           if [[ "${{ github.event_name }}" == "workflow_dispatch" && "${{ github.event.inputs.tagName }}" != "" ]]; then
             echo "Using manually provided tag name: ${{ github.event.inputs.tagName }}"
@@ -42,6 +44,8 @@ jobs:
           fi
 
       - name: Download the release asset
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           # Construct the asset file name
           asset_name="${{ steps.get-tag-name.outputs.tag_name }}.zip"
@@ -55,4 +59,14 @@ jobs:
       - name: Extract the archive
         run: |
           asset_name="${{ steps.get-tag-name.outputs.tag_name }}.zip"
-          unzip "$asset_name" -d extracted
\ No newline at end of file
+          unzip "$asset_name" -d extracted
+
+      # - name: Check for the specific file
+      #   run: |
+      #     # Update this path to the expected location of your file within the extracted directory
+      #     if [ -f "extracted/path/to/your/file" ]; then
+      #       echo "File exists."
+      #     else
+      #       echo "File does not exist."
+      #       exit 1
+      #     fi