Skip to content
Idris2

[ experim ] A silly experiment #355

Sign in to view logs

[ experim ] A silly experiment

[ experim ] A silly experiment #355

Triggered via push September 12, 2023 11:34
@buzdenbuzden
pushed 72fed15
fix-brackets-decoration-consistency
Status Failure
Total duration 1h 7m 46s
Artifacts 4

ci-idris2.yml

on: push
initialise
8s
initialise
quick-check
14m 7s
quick-check
ubuntu-self-host-previous-version
21m 0s
ubuntu-self-host-previous-version
macos-bootstrap-chez
21m 51s
macos-bootstrap-chez
ubuntu-bootstrap-chez
13m 56s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
37m 19s
ubuntu-bootstrap-racket
windows-bootstrap-chez
34m 26s
windows-bootstrap-chez
nix-bootstrap-chez
31m 10s
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
30m 50s
macos-self-host-chez
ubuntu-self-host-chez
22m 7s
ubuntu-self-host-chez
ubuntu-build-api
6m 39s
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
121 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
121 MB
ubuntu-installed-bootstrapped-idris2-racket Expired
132 MB
ubuntu-installed-idris2-0.6.0-chez Expired
173 MB