From 3c48db10fc200388443e12f9207dfb643908e08c Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <contact@infinisil.com>
Date: Fri, 3 Jan 2025 03:09:19 +0100
Subject: [PATCH] workflows/eval: Minor cleanup

The ${{ }} syntax is best avoided in scripts. While it wouldn't be a
problem here, let's do this for consistency
---
 .github/workflows/eval.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml
index f9953833c0ae5..52edcd9e67a23 100644
--- a/.github/workflows/eval.yml
+++ b/.github/workflows/eval.yml
@@ -293,7 +293,7 @@ jobs:
           # Request reviewers from maintainers of changed output paths
           GH_TOKEN=${{ steps.app-token.outputs.token }} gh api \
             --method POST \
-            /repos/${{ github.repository }}/pulls/${{ github.event.number }}/requested_reviewers \
+            /repos/"$REPOSITORY"/pulls/"$NUMBER"/requested_reviewers \
             --input reviewers.json
 
         env: