Nix CI for bundle rocq-master

rocqPackages.hierarchy-builder: init at 1.9.1 #152

Sign in to view logs

Re-run triggered June 2, 2025 12:20

proux01

#355

Status Success

Total duration 1m 50s

Artifacts –

nix-action-rocq-master.yml

on: pull_request_target