Skip to content
Idris2

[ elab ] Make %runElab expressions have unrestricted quantity #3242

Sign in to view logs

[ elab ] Make %runElab expressions have unrestricted quantity

[ elab ] Make %runElab expressions have unrestricted quantity #3242

Triggered via pull request August 13, 2023 15:43
@buzdenbuzden
synchronize #2021
buzden:fix-rig-for-runelab-expr
Status Failure
Total duration 1h 8m 5s
Artifacts 4

ci-idris2.yml

on: pull_request
initialise
5s
initialise
quick-check
13m 28s
quick-check
ubuntu-self-host-previous-version
21m 14s
ubuntu-self-host-previous-version
macos-bootstrap-chez
21m 16s
macos-bootstrap-chez
ubuntu-bootstrap-chez
12m 54s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
33m 46s
ubuntu-bootstrap-racket
windows-bootstrap-chez
35m 56s
windows-bootstrap-chez
nix-bootstrap-chez
31m 58s
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
32m 19s
macos-self-host-chez
ubuntu-self-host-chez
17m 37s
ubuntu-self-host-chez
ubuntu-build-api
10m 1s
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.
ubuntu-self-host-chez
Process completed with exit code 2.
nix-bootstrap-chez
Process completed with exit code 1.
windows-bootstrap-chez
Process completed with exit code 1.
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