Nix CI for bundle rocq-9.0

rocqPackages.hierarchy-builder: init at 1.9.1 #168

Sign in to view logs

Triggered via pull request June 3, 2025 11:02

proux01

synchronize #355

proux01:rocq-hb

Status Success

Total duration 2m 54s

Artifacts –

nix-action-rocq-9.0.yml

on: pull_request

hierarchy-builder