chore: linting updates, fixes (#85)

* chore: linting fixes

* chore(deps): update github workflows

* fix(ci): pr-lint permissions

* fix(ci): add missing UID

* fix(ci): pr-lint permissions

* fix(ci): cr tweak
This commit is contained in:
2025-11-28 16:49:12 +02:00
committed by GitHub
parent a8a78c98e7
commit 35634af17e
10 changed files with 41 additions and 42 deletions

View File

@@ -20,11 +20,24 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 15
permissions:
statuses: write
contents: read
contents: write
issues: write
packages: read
pull-requests: write
statuses: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
fetch-depth: 0
token: ${{ secrets.GITHUB_TOKEN }}
persist-credentials: true
- name: Run PR Lint
# https://github.com/ivuorinen/actions
uses: ivuorinen/actions/pr-lint@e58465e5d305c3dcdd6e3b788e2b683dc706ea9e # v25.11.25
with:
username: 'github-actions'
email: 'github-actions@github.com'
token: ${{ secrets.GITHUB_TOKEN }}