Pull request

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

Sign in to view logs

Triggered via pull request October 17, 2025 22:21

incertum

opened #125

incertum:chore/workflow-permissions

Status Success

Total duration 15m 26s

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