Nix CI for bundle rocq-dev

Merge pull request #1229 from ppedrot/rm-pconstraints-contextset #2

Sign in to view logs

Triggered via push December 21, 2025 09:08

TDiazT

main

Status Success

Total duration 2h 32m 52s

Artifacts –

nix-action-rocq-dev.yml

on: push

metarocq-common

metarocq-template-rocq

metarocq-safechecker

metarocq-template-pcuic

metarocq-translations

metarocq-erasure

metarocq-safechecker-plugin

metarocq-quotation

metarocq-erasure-plugin