]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13712 from marcfehling/security
authorLuca Heltai <luca.heltai@sissa.it>
Sat, 14 May 2022 12:48:14 +0000 (15:48 +0300)
committerGitHub <noreply@github.com>
Sat, 14 May 2022 12:48:14 +0000 (15:48 +0300)
commit93f2273bea80b14c36309b4d17ce6826e324fd9a
tree30fb2c6b94d1ff5e6e29a1585efef14ed6fcaaed
parent3c79690c584b8fd3188f221bcd8959c1fe742e35
parentc60e5019091967609f3fb95563f0c413e04d597c
Merge pull request #13712 from marcfehling/security

Restrict permissions for GITHUB_TOKEN.
.github/workflows/linux.yml
.github/workflows/windows.yml

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.