]> https://gitweb.dealii.org/ - dealii.git/commit
Restrict permissions for GITHUB_TOKEN. 13712/head
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 10 May 2022 17:15:15 +0000 (11:15 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Tue, 10 May 2022 17:31:34 +0000 (11:31 -0600)
commitc60e5019091967609f3fb95563f0c413e04d597c
treed5255454b47635b4d326d55ae35f4ffe5bf2111b
parent6a447d6adc28d8e1565b5828f31ec51ff878b572
Restrict permissions for GITHUB_TOKEN.
.github/workflows/docker.yml
.github/workflows/indent.yml
.github/workflows/linux.yml
.github/workflows/osx.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.