Codeowners v2

coqPackages.metacoq: 1.3.2 → 1.3.4 #69745

Sign in to view logs

Triggered via pull request January 29, 2025 11:44

4ever2

synchronize #377732

Status Success

Total duration 1m 43s

Artifacts –

codeowners-v2.yml

on: pull_request_target

get-merge-commit / resolve-merge-commit