Skip to content

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

chore: restrict GitHub workflow permissions - future-proof

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

Re-run triggered October 13, 2025 14:17
Status Success
Total duration 4m 46s
Artifacts 1

pull_request.yml

on: pull_request
Soundness  /  API breakage check
1m 30s
Soundness / API breakage check
Soundness  /  Documentation check
1m 10s
Soundness / Documentation check
Soundness  /  Unacceptable language check
0s
Soundness / Unacceptable language check
Soundness  /  License headers check
6s
Soundness / License headers check
Soundness  /  Broken symlinks check
4s
Soundness / Broken symlinks check
Soundness  /  Format check
0s
Soundness / Format check
Soundness  /  Shell check
49s
Soundness / Shell check
Soundness  /  YAML lint check
5s
Soundness / YAML lint check
Soundness  /  Python lint check
11s
Soundness / Python lint check
Benchmark
4m 40s
Benchmark
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
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
benchmark-results
16.5 KB
sha256:59631d0dde260a531dbe3c0ca10085881c32909c51ed7596bed87a2c6a255abc