Skip to content

Merge pull request #24544 from WillemKauf/bounded_property_disable #3698

Merge pull request #24544 from WillemKauf/bounded_property_disable

Merge pull request #24544 from WillemKauf/bounded_property_disable #3698

Triggered via push December 13, 2024 17:09
Status Success
Total duration 20s
Artifacts
backport-on-merge
9s
backport-on-merge
Fit to window
Zoom out
Zoom in

Annotations

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