Skip to content
Idris2

Treat unit types as erased in constructors #3177

Sign in to view logs

Treat unit types as erased in constructors

Treat unit types as erased in constructors #3177

Triggered via pull request July 5, 2023 16:05
@Z-snailsZ-snails
synchronize #3002
Z-snails:unit-elim
Status Success
Total duration 1h 11m 10s
Artifacts 6
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-idris2.yml

on: pull_request
initialise
4s
initialise
quick-check
11m 10s
quick-check
ubuntu-self-host-previous-version
22m 45s
ubuntu-self-host-previous-version
macos-bootstrap-chez
19m 40s
macos-bootstrap-chez
ubuntu-bootstrap-chez
16m 4s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
29m 29s
ubuntu-bootstrap-racket
windows-bootstrap-chez
41m 21s
windows-bootstrap-chez
nix-bootstrap-chez
27m 33s
nix-bootstrap-chez
ubuntu-test-collie
2m 25s
ubuntu-test-collie
ubuntu-test-frex
7m 15s
ubuntu-test-frex
ubuntu-test-elab
1m 48s
ubuntu-test-elab
macos-self-host-chez
27m 49s
macos-self-host-chez
ubuntu-self-host-chez
14m 59s
ubuntu-self-host-chez
ubuntu-build-api
6m 44s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
17m 30s
windows-self-host-racket
ubuntu-katla
10m 25s
ubuntu-katla
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
idris2-nightly-chez Expired
167 MB
macos-installed-bootstrapped-idris2-chez Expired
119 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
119 MB
ubuntu-installed-bootstrapped-idris2-racket Expired
129 MB
ubuntu-installed-idris2-0.6.0-chez Expired
171 MB
windows-installed-bootstrapped-idris2-chez Expired
119 MB