From 02f78da0fd32910b99982a3133a5ef44d2c8588d Mon Sep 17 00:00:00 2001
From: Yoo Chung <chungyc@google.com>
Date: Sat, 1 Feb 2025 15:59:05 -0500
Subject: [PATCH] Include GitHub authentication token while setting up protoc.

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

diff --git a/.github/workflows/stack-ci.yml b/.github/workflows/stack-ci.yml
index 1052a228..19e9235b 100644
--- a/.github/workflows/stack-ci.yml
+++ b/.github/workflows/stack-ci.yml
@@ -14,6 +14,8 @@
 
 name: Stack CI
 
+permissions: read-all
+
 on:
   push:
     branches:
@@ -79,6 +81,7 @@ jobs:
         uses: arduino/setup-protoc@v3
         with:
           version: '28.x'
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
 
       # Install Stack without GHC first, so we have an opportunity to cache the
       # Pantry package index.