Merge pull request #3827 from sashashura/patch-1
commitbe8a8debc0775752c41e0f9d467fec4d3aa70871
authorAndreas Gohr <andi@splitbrain.org>
Fri, 4 Nov 2022 11:58:26 +0000 (4 12:58 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Nov 2022 11:58:26 +0000 (4 12:58 +0100)
tree9b94d308b97e46aa7701c06b32d9452abad8a13d
parentadb8672aa6634989c730588d514522b9b8b08c46
parentd3b9050609db6fd4b0fdb8a9cd5460338c35612e
Merge pull request #3827 from sashashura/patch-1

GitHub Workflows security hardening