Skip to content

Clarify structure

Clarify structure #199

Triggered via pull request October 5, 2024 13:50
Status Failure
Total duration 1h 51m 15s
Artifacts

nix-action-coq-master.yml

on: pull_request
mathcomp-character
5m 20s
mathcomp-character
mathcomp-analysis
11m 42s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
coq-tools
Process completed with exit code 1.
stdlib-test
Process completed with exit code 1.
ITree
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.