aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/formal.yml
diff options
context:
space:
mode:
authorChristian Marangi <ansuelsmth@gmail.com>2022-12-04 17:05:51 +0100
committerChristian Marangi <ansuelsmth@gmail.com>2022-12-04 17:36:57 +0100
commitb3e8d5815183370f3c529754dad78a3ac22db465 (patch)
tree08feb37bd08483e05ec9be6eb748abacb3944c83 /.github/workflows/formal.yml
parent431875b3dfa117cdf051941ad9efc118bba77a44 (diff)
downloadupstream-b3e8d5815183370f3c529754dad78a3ac22db465.tar.gz
upstream-b3e8d5815183370f3c529754dad78a3ac22db465.tar.bz2
upstream-b3e8d5815183370f3c529754dad78a3ac22db465.zip
Revert "build: harden GitHub workflow permissions"
This reverts commit 008e9a335dc32c4662aa56eb67487ddd777f2147. We now have the full CI backported to openwrt-22.03. We need to revert this subset and apply the full backport commit. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to '.github/workflows/formal.yml')
-rw-r--r--.github/workflows/formal.yml3
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