Skip to content
Idris2

[ ttc ] Relax existing second-precision time requirements #337

Sign in to view logs

[ ttc ] Relax existing second-precision time requirements

[ ttc ] Relax existing second-precision time requirements #337

Triggered via push August 12, 2023 08:04
@buzdenbuzden
pushed ba4b69b
treat-same-time-as-okay
Status Failure
Total duration 1h 11m 56s
Artifacts 4

ci-idris2.yml

on: push
initialise
5s
initialise
quick-check
23m 22s
quick-check
ubuntu-self-host-previous-version
23m 27s
ubuntu-self-host-previous-version
macos-bootstrap-chez
18m 35s
macos-bootstrap-chez
ubuntu-bootstrap-chez
17m 7s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
25m 15s
ubuntu-bootstrap-racket
windows-bootstrap-chez
33m 11s
windows-bootstrap-chez
nix-bootstrap-chez
26m 56s
nix-bootstrap-chez
ubuntu-test-collie
0s
ubuntu-test-collie
ubuntu-test-frex
0s
ubuntu-test-frex
ubuntu-test-elab
0s
ubuntu-test-elab
macos-self-host-chez
28m 38s
macos-self-host-chez
ubuntu-self-host-chez
20m 17s
ubuntu-self-host-chez
ubuntu-build-api
6m 27s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
0s
windows-self-host-racket
ubuntu-katla
0s
ubuntu-katla
Fit to window
Zoom out
Zoom in

Annotations

5 errors
ubuntu-self-host-previous-version
Process completed with exit code 2.
nix-bootstrap-chez
Process completed with exit code 1.
windows-bootstrap-chez
Process completed with exit code 1.
ubuntu-self-host-chez
Process completed with exit code 2.
macos-self-host-chez
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
macos-installed-bootstrapped-idris2-chez Expired
120 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
120 MB
ubuntu-installed-bootstrapped-idris2-racket Expired
131 MB
ubuntu-installed-idris2-0.6.0-chez Expired
172 MB