Nix CI for bundle coqmaster+mcmaster

Merge pull request #98 from proux01/mc1352 #121

# to view logs

Triggered via push March 3, 2025 17:04

CohenCyril

master

Status Failure

Total duration 48s

Artifacts –

nix-action-coqmaster+mcmaster.yml

on: push

mathcomp-bigenough

hierarchy-builder

mathcomp-real-closed

Annotations

1 error

Process completed with exit code 1.