Skip to content

Merge branch 'main' into will/kill-common #417

Merge branch 'main' into will/kill-common

Merge branch 'main' into will/kill-common #417

Triggered via push January 9, 2025 15:05
Status Success
Total duration 24s
Artifacts
run-tests
12s
run-tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
run-tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636