From 9059d64ec4e60feca6658aebda2a533ab210dff8 Mon Sep 17 00:00:00 2001
From: Philippe Merle <philippe.merle@inria.fr>
Date: Sun, 20 Apr 2025 22:34:38 +0200
Subject: [PATCH] Add contents read permission

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

diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
index d4dd7e9..d3a053f 100644
--- a/.github/workflows/docker-image.yml
+++ b/.github/workflows/docker-image.yml
@@ -10,6 +10,9 @@ on:
     paths:
       - 'bin/**'
 
+permissions:
+  contents: read
+
 jobs:
   docker:
     runs-on: ubuntu-latest