Nix CI for bundle coq-8.20

Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… #1

Sign in to view logs

Triggered via push April 15, 2025 10:43

TDiazT

coq-8.20

Status Success

Total duration 8m 27s

Artifacts –

nix-action-coq-8.20.yml

on: push

metacoq-template-coq

metacoq-safechecker

metacoq-template-pcuic

metacoq-translations

metacoq-erasure

metacoq-quotation

metacoq-safechecker-plugin

metacoq-erasure-plugin