From b3c2169838e12ea9c5da8d5a4c35faf8eb7dd412 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 24 Sep 2022 09:55:15 -0700 Subject: [PATCH] Update msvc-static-build.yml --- .github/workflows/msvc-static-build.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/msvc-static-build.yml b/.github/workflows/msvc-static-build.yml index 81fb9c45a..461752279 100644 --- a/.github/workflows/msvc-static-build.yml +++ b/.github/workflows/msvc-static-build.yml @@ -1,5 +1,8 @@ name: MSVC Static Build +permissions: + contents: read # to fetch code (actions/checkout) + on: push: pull_request: