diff options
Diffstat (limited to '.github/workflows/formal.yml')
-rw-r--r-- | .github/workflows/formal.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 8df31d1751..26bcc74542 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -3,9 +3,6 @@ name: Test Formalities on: pull_request: -permissions: - contents: read - jobs: build: name: Test Formalities |