Skip to content

PR Build: #86 (1.88) - 21760: Added a redirect from user_guide/index.html #88

PR Build: #86 (1.88) - 21760: Added a redirect from user_guide/index.html

PR Build: #86 (1.88) - 21760: Added a redirect from user_guide/index.html #88

Triggered via pull request October 8, 2024 20:58
Status Success
Total duration 22s
Artifacts

build-pr.yml

on: pull_request
xray  /  scan-pull-request
7s
xray / scan-pull-request
gen-requirements  /  check-requirements
6s
gen-requirements / check-requirements
gen-requirements  /  compile-requirements
0s
gen-requirements / compile-requirements
final-check
0s
final-check
Fit to window
Zoom out
Zoom in