Skip to content

fix: wrong option in setup-dev-env.sh #1271

fix: wrong option in setup-dev-env.sh

fix: wrong option in setup-dev-env.sh #1271

Triggered via pull request December 6, 2023 12:58
@HansRoboHansRobo
synchronize #4039
Status Success
Total duration 9s
Artifacts

semantic-pull-request.yaml

on: pull_request_target
semantic-pull-request  /  semantic-pull-request
2s
semantic-pull-request / semantic-pull-request
Fit to window
Zoom out
Zoom in