Skip to content

Changed command for gui launch to gz instead of ign (backport #345) #150

Changed command for gui launch to gz instead of ign (backport #345)

Changed command for gui launch to gz instead of ign (backport #345) #150

Triggered via pull request June 17, 2024 14:51
Status Success
Total duration 1m 3s
Artifacts

ci-check-docs.yml

on: pull_request
Check Docs  /  build-single-version
54s
Check Docs / build-single-version
Fit to window
Zoom out
Zoom in