Skip to content

Add missing permissions to GitHub Actions workflows #47

Add missing permissions to GitHub Actions workflows

Add missing permissions to GitHub Actions workflows #47

Triggered via pull request February 9, 2026 13:57
Status Success
Total duration 1m 42s
Artifacts

pr.yml

on: pull_request
Lint bash, docker, markdown, and yaml
1m 26s
Lint bash, docker, markdown, and yaml
Verify CHANGELOG is valid
5s
Verify CHANGELOG is valid
Test against recent ponyc release
23s
Test against recent ponyc release
Fit to window
Zoom out
Zoom in