Skip to content

Add missing permissions to GitHub Actions workflows #18

Add missing permissions to GitHub Actions workflows

Add missing permissions to GitHub Actions workflows #18

Workflow file for this run

name: PR
on: pull_request
concurrency:
group: pr-${{ github.ref }}
cancel-in-progress: true
permissions:
packages: read
jobs:
superlinter:
name: Lint bash, docker, markdown, and yaml
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.1
- name: Lint codebase
uses: docker://github/super-linter:v3.8.3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VALIDATE_ALL_CODEBASE: true
VALIDATE_BASH: true
VALIDATE_DOCKERFILE: true
VALIDATE_MD: true
VALIDATE_YAML: true
verify-changelog:
name: Verify CHANGELOG is valid
runs-on: ubuntu-latest
container:
image: ghcr.io/ponylang/changelog-tool:release
steps:
- uses: actions/checkout@v4.1.1
- name: Verify CHANGELOG
run: changelog-tool verify
ubuntu-24_04:
name: Ubuntu 24.04
runs-on: ubuntu-24.04
steps:
- name: Checkout source
uses: actions/checkout@v4.1.1
- name: Install Node.js
uses: actions/setup-node@v6.2.0
with:
node-version: '22.x'
cache: 'npm'
- name: Build
run: make config=debug