Vet nixpkgs

coqPackages.metacoq: 1.3.2 → 1.3.4 #98687

Sign in to view logs

Triggered via pull request January 29, 2025 11:44

4ever2

synchronize #377732

Status Success

Total duration 1m 2s

Artifacts –

nixpkgs-vet.yml

on: pull_request_target

get-merge-commit / resolve-merge-commit