Skip to content
Idris2

Revert "Treat unit types as erased in constructors (#3002)" #3179

Sign in to view logs

Revert "Treat unit types as erased in constructors (#3002)"

Revert "Treat unit types as erased in constructors (#3002)" #3179

Triggered via push July 7, 2023 15:43
@CodingCellistCodingCellist
pushed c5ac540
revert-3002-unit-elim
Status Success
Total duration 1h 4m 44s
Artifacts 6

ci-idris2.yml

on: push
initialise
5s
initialise
quick-check
10m 1s
quick-check
ubuntu-self-host-previous-version
17m 38s
ubuntu-self-host-previous-version
macos-bootstrap-chez
18m 51s
macos-bootstrap-chez
ubuntu-bootstrap-chez
13m 41s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
23m 24s
ubuntu-bootstrap-racket
windows-bootstrap-chez
38m 14s
windows-bootstrap-chez
nix-bootstrap-chez
35m 56s
nix-bootstrap-chez
ubuntu-test-collie
1m 29s
ubuntu-test-collie
ubuntu-test-frex
2m 52s
ubuntu-test-frex
ubuntu-test-elab
1m 20s
ubuntu-test-elab
macos-self-host-chez
31m 28s
macos-self-host-chez
ubuntu-self-host-chez
14m 53s
ubuntu-self-host-chez
ubuntu-build-api
7m 18s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
15m 43s
windows-self-host-racket
ubuntu-katla
9m 59s
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
130 MB
ubuntu-installed-idris2-0.6.0-chez Expired
171 MB
windows-installed-bootstrapped-idris2-chez Expired
119 MB