Skip to content
Idris2

[ highlighting ] Make opening bracket to be highlighted as closing one #354

Sign in to view logs

[ highlighting ] Make opening bracket to be highlighted as closing one

[ highlighting ] Make opening bracket to be highlighted as closing one #354

Triggered via push September 12, 2023 09:49
@buzdenbuzden
pushed 9919039
fix-brackets-decoration-consistency
Status Failure
Total duration 1h 11m 19s
Artifacts 4

ci-idris2.yml

on: push
initialise
4s
initialise
quick-check
22m 58s
quick-check
ubuntu-self-host-previous-version
18m 21s
ubuntu-self-host-previous-version
macos-bootstrap-chez
17m 20s
macos-bootstrap-chez
ubuntu-bootstrap-chez
17m 15s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
24m 59s
ubuntu-bootstrap-racket
windows-bootstrap-chez
35m 44s
windows-bootstrap-chez
nix-bootstrap-chez
30m 46s
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 10s
macos-self-host-chez
ubuntu-self-host-chez
25m 56s
ubuntu-self-host-chez
ubuntu-build-api
7m 48s
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