CI

lf-lang · May 21, 2024 · 792d1e1 · 792d1e1
1 parent b3f1666
commit 792d1e1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -4,9 +4,6 @@ name: Coverage
 on:
   workflow_call:
 
-permissions:
-  contents: read
-  pull-requests: write
 
 jobs:
   coverage: