Skip to content
Test opam package

Rust: Add no_std CI (#1648) #649

Sign in to view logs

Rust: Add no_std CI (#1648)

Rust: Add no_std CI (#1648) #649

Triggered via push September 5, 2023 04:51
@JasonGrossJasonGross
pushed 217951e
master
Status Success
Total duration 2h 22m 25s
Artifacts –

coq-opam-package.yml

on: push
Matrix: install
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
install (dev, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Failed to download action 'https://api.github.com/repos/ocaml/setup-ocaml/zipball/73985a7266668795ef73448374a9f492920c0851'. Error: Error while copying content to a stream.
install (dev, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Back off 16.678 seconds before retry.
install (8.16.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Failed to download action 'https://api.github.com/repos/ocaml/setup-ocaml/zipball/73985a7266668795ef73448374a9f492920c0851'. Error: Error while copying content to a stream.
install (8.16.0, 4.11.1, windows-latest, -async-proofs-j 1, -j 1)
Back off 22.244 seconds before retry.