From 67c5f945c0457d9dd7e4e0df96257c21ed6cfbe2 Mon Sep 17 00:00:00 2001
From: Zbynek Konecny <zbynek@geogebra.org>
Date: Mon, 27 Oct 2025 20:33:22 +0100
Subject: [PATCH] Add permissions for publishing JUnit report

Based on suggestion in https://github.com/mikepenz/action-junit-report?tab=readme-ov-file#pr-run-permissions
---
 .github/workflows/full-check.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/full-check.yml b/.github/workflows/full-check.yml
index 5aca8cd6bb..257b7843a2 100644
--- a/.github/workflows/full-check.yml
+++ b/.github/workflows/full-check.yml
@@ -15,6 +15,9 @@ on:
     # Allow running manually
   pull_request:
     types: [ labeled, synchronize ]
+permissions:
+  # allow publishing JUnit report for PRs
+  checks: write 
 jobs:
   build:
     if: ${{ !github.event.pull_request || contains(github.event.pull_request.labels.*.name, 'ready') }}