From: infogulch <infogulch@gmail.com>
Date: Wed, 15 Nov 2023 19:07:45 +0000 (-0600)
Subject: Add checks permission to ci workflow
X-Git-Tag: v0.9.4~115^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e5ee918063323a11460ba71498487a414bd0e550;p=scryer-prolog.git

Add checks permission to ci workflow

This should allow dependabot builds to complete
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 51e97199..b87d1432 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,9 @@ on:
     - cron: '0 0 * * 3' # At 12:00 AM, only on Wednesday
   workflow_dispatch:
 
+permissions:
+  checks: write
+
 jobs:
   style:
     runs-on: ubuntu-22.04