Nix CI for bundle coq-master

Clarify structure #199

Sign in to view logs

Triggered via pull request October 5, 2024 13:50

proux01

synchronize #2

clarify-structure

Status Failure

Total duration 1h 51m 15s

Artifacts –

nix-action-coq-master.yml

on: pull_request

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

4 errors and 4 warnings

Process completed with exit code 1.

stdlib-test

Process completed with exit code 1.

Process completed with exit code 1.

hierarchy-builder-test

Process completed with exit code 1.

mathcomp-algebra

Failed to download action 'https://api.github.com/repos/cachix/install-nix-action/tarball/ba0dd844c9180cbf77aa72a116d6fbc515d0e87b'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

mathcomp-algebra

Back off 24.439 seconds before retry.

mathcomp-algebra

Failed to download action 'https://api.github.com/repos/cachix/install-nix-action/tarball/ba0dd844c9180cbf77aa72a116d6fbc515d0e87b'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

mathcomp-algebra

Back off 20.775 seconds before retry.