fix(ci): permissions block voor dorny/paths-filter API-toegang

dorny/paths-filter@v3 leest PR-changed-files via de GitHub API.
Default GITHUB_TOKEN heeft op deze repo geen pull-requests:read
permission, waardoor de action faalde met "Resource not accessible
by integration".

Workflow-level permissions toegevoegd: contents:read +
pull-requests:read. Geen andere wijzigingen aan jobs nodig.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This commit is contained in:
Janpeter Visser 2026-05-06 00:14:18 +02:00
parent ee793e9af4
commit a57eadbbd3

View file

@ -13,6 +13,10 @@ on:
options: [preview, production]
default: preview
permissions:
contents: read
pull-requests: read
jobs:
ci:
name: Lint, Typecheck, Test & Build