Nix CI for bundle rocq-dev

Merge pull request #1233 from thomas-lamiaux/adapt21498 #4

Sign in to view logs

Triggered via push February 2, 2026 14:24

TDiazT

main

Status Success

Total duration 2h 32m 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