Skip to content

scripts/setup.bash: Set MIL_REPO to ws root, not src folder #13

scripts/setup.bash: Set MIL_REPO to ws root, not src folder

scripts/setup.bash: Set MIL_REPO to ws root, not src folder #13

Triggered via push December 29, 2024 21:47
Status Success
Total duration 10s
Artifacts

ci.yaml

on: push
Check if CI has already be ran
3s
Check if CI has already be ran
Run tests and build docs
0s
Run tests and build docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check if CI has already be ran
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636