Nix CI for bundle coq-8.20

Merge pull request #449 from math-comp/fix_cat #292

Sign in to view logs

Triggered via push September 23, 2025 11:47

CohenCyril

master

Status Failure

Total duration 1h 1m 7s

Artifacts –

nix-action-coq-8.20.yml

on: push

hierarchy-builder

mathcomp-bigenough

mathcomp-finmap

mathcomp-single

mathcomp-real-closed

mathcomp-analysis

mathcomp-classical

mathcomp-algebra-tactics

Annotations

2 errors

mathcomp-real-closed

Process completed with exit code 1.

Process completed with exit code 1.