Nix CI for bundle rocq-dev

Merge pull request #1231 from JasonGross/print-assumptions-list #3

Sign in to view logs

Triggered via push January 8, 2026 21:41

TDiazT

main

Status Success

Total duration 8m 27s

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