Nix CI for bundle rocq-master

rocqPackages.hierarchy-builder: init at 1.9.1 #153

Sign in to view logs

Triggered via pull request June 3, 2025 11:02

proux01

synchronize #355

Status Success

Total duration 6m 26s

Artifacts –

nix-action-rocq-master.yml

on: pull_request_target