Skip to content

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md #2483

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md #2483

Triggered via pull request November 27, 2024 01:08
Status Success
Total duration 22m 13s
Artifacts

main.yml

on: pull_request
Check Style
14s
Check Style
Matrix: Env Override
Matrix: Test
Build Documentation
1m 24s
Build Documentation
Automatic intrinsic verification
30s
Automatic intrinsic verification
Build std_detect
1m 2s
Build std_detect
success
0s
success
Fit to window
Zoom out
Zoom in