Skip to content
Nix CI for bundle master

add continuous_within_itvcyP/ycP #3121

Sign in to view logs

add continuous_within_itvcyP/ycP

add continuous_within_itvcyP/ycP #3121

Triggered via pull request October 30, 2024 02:23
@IshiguroYoshihiroIshiguroYoshihiro
opened #1376
Status Success
Total duration 29m 22s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
2m 42s
coq
mathcomp-bigenough
39s
mathcomp-bigenough
mathcomp-finmap
41s
mathcomp-finmap
coq-elpi
48s
coq-elpi
hierarchy-builder
45s
hierarchy-builder
mathcomp-classical
2m 30s
mathcomp-classical
mathcomp
51s
mathcomp
mathcomp-analysis-single
11m 4s
mathcomp-analysis-single
mathcomp-reals
3m 6s
mathcomp-reals
mathcomp-reals-stdlib
1m 20s
mathcomp-reals-stdlib
mathcomp-analysis
9m 6s
mathcomp-analysis
mathcomp-altreals
1m 39s
mathcomp-altreals
mathcomp-analysis-stdlib
9m 26s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
coq
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
coq
Back off 22.596 seconds before retry.