From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 23 Oct 2024 17:35:00 +0000 (+0200)
Subject: tidy: restrict permissions.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ef31c9863a2f8a1a7a391c67240d104785825b8;p=dealii.git

tidy: restrict permissions.
---

diff --git a/.github/workflows/tidy.yml b/.github/workflows/tidy.yml
index 824a461cf8..a6c9842d3f 100644
--- a/.github/workflows/tidy.yml
+++ b/.github/workflows/tidy.yml
@@ -13,6 +13,9 @@ concurrency:
   group: ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: ${{github.event_name == 'pull_request'}}
 
+permissions:
+  contents: read
+
 jobs:
   tidy:
     name: tidy