Pull request

chore: restrict GitHub workflow permissions - future-proof #210

Sign in to view logs

Re-run triggered October 11, 2025 03:06

#1365

incertum:chore/workflow-permissions

Status Success

Total duration 16m 59s

Artifacts –

pull_request.yml

on: pull_request

Soundness / API breakage check

Soundness / Documentation check

Soundness / Unacceptable language check

Soundness / License headers check

Soundness / Broken symlinks check

Soundness / Format check

Soundness / Shell check

Soundness / YAML lint check

Soundness / Python lint check

Matrix: Test / embedded-wasm-sdk-build

Matrix: Test / linux-build

Matrix: Test / linux-static-sdk-build

Matrix: Test / macos-build

Matrix: Test / wasm-sdk-build

Matrix: Test / windows-build