From f99342bf164379fa6ba504d7c0edb01309cc8523 Mon Sep 17 00:00:00 2001
From: NAHO <90870942+trueNAHO@users.noreply.github.com>
Date: Sun, 5 Jan 2025 22:17:53 +0100
Subject: [PATCH] ci: avoid downloading the repository twice

Avoid downloading the repository twice by leveraging the repository
already installed by the actions/checkout GitHub Action, instead of
downloading it again from GitHub.
---
 .github/workflows/check.yml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 032a26d9..d8ad583f 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -21,12 +21,7 @@ jobs:
 
       - id: get-derivations
         run: |
-          nix flake show --json \
-            github:${{
-              github.repository
-            }}/${{
-              github.event.pull_request.head.sha || github.sha
-            }} |
+          nix flake show --json |
             jq \
               --argjson changed_files "$(
                 if ${{ github.event_name == 'pull_request' }}; then