Nix CI for bundle coq-master

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

Sign in to view logs

Triggered via push July 31, 2024 09:40

proux01

master

Status Cancelled

Total duration 5m 17s

Artifacts –

nix-action-coq-master.yml

on: push

stdlib-subcomponents

coq-performance-tests

neural-net-coq-interp

metacoq-template-coq

hierarchy-builder

stalmarck-tactic

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

5 errors and 3 warnings

stdlib-subcomponents

Process completed with exit code 1.

smtcoq-trakt

The run was canceled by @proux01.

smtcoq-trakt

The operation was canceled.

The run was canceled by @proux01.

The operation was canceled.

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

stdlib-subcomponents

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/