coqPackages.metacoq: update for coq 8.20 #32156

Sign in to view logs

Triggered via pull request September 10, 2024 20:08

4ever2

opened #341091

Status Success

Total duration 1m 57s

Artifacts –

check-shell.yml

on: pull_request_target

shell-check-x86_64-linux

shell-check-aarch64-darwin