]> https://gitweb.dealii.org/ - dealii.git/commitdiff
tidy: restrict permissions. 17801/head
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 23 Oct 2024 17:35:00 +0000 (19:35 +0200)
committerMarc Fehling <mafehling.git@gmail.com>
Wed, 23 Oct 2024 18:06:10 +0000 (20:06 +0200)
.github/workflows/tidy.yml

index 824a461cf82e7ed57e920d04b469c4d5ef796a17..a6c9842d3fa6e0b4d24971087ae4c62b928aa1f3 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.