Codeowners v2

[Backport release-24.11] z3_4_12: 4.12.5 -> 4.12.6; z3_4_13: init at 4.13.4; fix Z3 builds #76946

Sign in to view logs

Triggered via pull request February 8, 2025 23:52

numinit

synchronize #374875

Status Success

Total duration 1m 26s

Artifacts –

codeowners-v2.yml

on: pull_request_target

get-merge-commit / resolve-merge-commit