Skip to content

Rename pico examples #204

Rename pico examples

Rename pico examples #204

Triggered via pull request May 3, 2025 19:59
Status Success
Total duration 1m 3s
Artifacts

lint.yml

on: pull_request
Validate Format Config
9s
Validate Format Config
Soundness  /  API breakage check
0s
Soundness / API breakage check
Soundness  /  Documentation check
54s
Soundness / Documentation check
Soundness  /  Unacceptable language check
0s
Soundness / Unacceptable language check
Soundness  /  License headers check
0s
Soundness / License headers check
Soundness  /  Broken symlinks check
5s
Soundness / Broken symlinks check
Soundness  /  Format check
30s
Soundness / Format check
Soundness  /  Shell check
32s
Soundness / Shell check
Soundness  /  YAML lint check
3s
Soundness / YAML lint check
Soundness  /  Python lint check
5s
Soundness / Python lint check
Fit to window
Zoom out
Zoom in