From b8806560814f2b03479e610ca4d9e7de2f90c9e5 Mon Sep 17 00:00:00 2001
From: Manuel YGUEL <yguel@unistra.fr>
Date: Fri, 1 Mar 2024 11:47:00 +0100
Subject: [PATCH] Update permissions to fix CI.

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dfe19e6a..2f0bc14a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,12 @@ on:
     branches: [ main ]
 jobs:
   CI:
+    permissions:
+      contents: read
+      packages: write
+      issues: read
+      checks: write
+      pull-requests: write
     runs-on: ubuntu-latest
     steps:
       - name: Prepare