Skip to content

Clean up docs, fixing indentation and formatting #2415

Clean up docs, fixing indentation and formatting

Clean up docs, fixing indentation and formatting #2415

Triggered via pull request September 28, 2024 23:53
Status Success
Total duration 21m 35s
Artifacts

main.yml

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