Skip to content

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

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

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

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

main.yml

on: pull_request
Check Style
18s
Check Style
Matrix: Env Override
Matrix: Test
Build Documentation
1m 20s
Build Documentation
Automatic intrinsic verification
29s
Automatic intrinsic verification
Build std_detect
59s
Build std_detect
success
0s
success
Fit to window
Zoom out
Zoom in