Nix CI for bundle rocq-dev

Merge pull request #1240 from SkySkimmer/match-style #105

Sign in to view logs

Triggered via push February 20, 2026 15:45

ppedrot

main

Status Success

Total duration 36m 15s

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