Nix CI for bundle coq-master

[CI] Add a job to check for duplicate files #179

Sign in to view logs

Triggered via push September 28, 2024 15:38

proux01

master_with_structure

Status Failure

Total duration 1h 45m 13s

Artifacts –

nix-action-coq-master.yml

on: push

stdlib-subcomponents

coq-hammer-tactics

coq-performance-tests

neural-net-coq-interp

stdlib-refman-html

metacoq-template-coq

hierarchy-builder

stalmarck-tactic

fiat-crypto-legacy

mathcomp-ssreflect

hierarchy-builder-test

metacoq-safechecker

mathcomp-fingroup

mathcomp-bigenough

mathcomp-finmap

relation-algebra

category-theory

metacoq-erasure

mathcomp-algebra

quickchick-test

mathcomp-solvable

mathcomp-classical

mathcomp-character

mathcomp-analysis

Annotations

3 errors

Process completed with exit code 1.

stdlib-subcomponents

Process completed with exit code 1.

smtcoq-trakt

Process completed with exit code 1.