Skip to content

Merge branch 'main' into nav_tube_driver #79

Merge branch 'main' into nav_tube_driver

Merge branch 'main' into nav_tube_driver #79

Triggered via push January 8, 2025 03:01
Status Success
Total duration 1m 34s
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
1m 18s
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