Codeowners v2

z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6 #57577

Sign in to view logs

Triggered via pull request January 12, 2025 01:49

numinit

synchronize #327052

Status Success

Total duration 1m 32s

Artifacts –

codeowners-v2.yml

on: pull_request_target

get-merge-commit / resolve-merge-commit