Skip to content

Merge PR #4697 into 17.0 #988

Merge PR #4697 into 17.0

Merge PR #4697 into 17.0 #988

Triggered via push December 18, 2024 18:06
Status Success
Total duration 2m 7s
Artifacts
documentation-commit
1m 52s
documentation-commit
Fit to window
Zoom out
Zoom in

Annotations

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