Nix CI for bundle rocq-9.1

Merge pull request #1222 from MetaRocq/9.1-ports-from-9.0 #1

Sign in to view logs

Triggered via push February 2, 2026 14:36

TDiazT

9.1

Status Success

Total duration 2m 21s

Artifacts –

nix-action-rocq-9.1.yml

on: push