Skip to content

[release/v1.0] tools/ci: fix pushed Windows "latest" name (#665) #410

[release/v1.0] tools/ci: fix pushed Windows "latest" name (#665)

[release/v1.0] tools/ci: fix pushed Windows "latest" name (#665) #410

Triggered via pull request April 24, 2024 17:44
Status Success
Total duration 29s
Artifacts

check_docs.yml

on: pull_request
build-technical-documentation
19s
build-technical-documentation
Fit to window
Zoom out
Zoom in