From 792d1e14a6f4ab3db5274340d3d412ca8f47c9fe Mon Sep 17 00:00:00 2001 From: erlingrj Date: Tue, 21 May 2024 22:04:21 +0200 Subject: [PATCH] CI --- .github/workflows/ci.yml | 4 ++++ .github/workflows/coverage.yml | 3 --- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9cbcd34b..0a066926 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,10 @@ name: Continuous Integration on: [push, pull_request] +permissions: + contents: read + pull-requests: write + jobs: ci: name: ci diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 9e9beb8c..5e4302bb 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -4,9 +4,6 @@ name: Coverage on: workflow_call: -permissions: - contents: read - pull-requests: write jobs: coverage: