From 1935cf4c7a3eec68ed274128ebe6d6bb79b1a53f Mon Sep 17 00:00:00 2001
From: Arpit Jain <arpitjain099@gmail.com>
Date: Fri, 15 May 2026 01:54:37 +0900
Subject: [PATCH] ci: declare contents:read on typecheck workflow

Signed-off-by: Arpit Jain <arpitjain099@gmail.com>
---
 .github/workflows/typecheck.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml
index 881bbaf..166409f 100644
--- a/.github/workflows/typecheck.yml
+++ b/.github/workflows/typecheck.yml
@@ -6,6 +6,9 @@ on:
       - main
   pull_request:
 
+permissions:
+  contents: read
+
 jobs:
   typecheck:
     name: Typecheck