From 62cb729e7813176ce2d2694b89c8724680fca383 Mon Sep 17 00:00:00 2001
From: Diogo Teles Sant'Anna <diogoteles@google.com>
Date: Sat, 11 Mar 2023 00:10:48 -0300
Subject: [PATCH] CI: set read-only permission on github workflow (#272)

Closes #271
---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 124f802..f1971ef 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,8 @@ on:
   schedule:
     - cron: '0 0 * * 3'
 
+permissions: read-all
+
 jobs:
   build: