Skip to content
Back to pull request #3004

[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) #3162

Sign in to view logs

[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003)

[ fix ] Fix issue with eager evaluation of crashing functions (fixes #3003) #3162

Triggered via pull request June 28, 2023 02:48
@dunhamstevedunhamsteve
synchronize #3004
dunhamsteve:unsound-eval
Status Success
Total duration 1h 12m 54s
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
5s
initialise
quick-check
10m 38s
quick-check
ubuntu-self-host-previous-version
17m 11s
ubuntu-self-host-previous-version
macos-bootstrap-chez
22m 21s
macos-bootstrap-chez
ubuntu-bootstrap-chez
13m 43s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
23m 23s
ubuntu-bootstrap-racket
windows-bootstrap-chez
41m 14s
windows-bootstrap-chez
nix-bootstrap-chez
34m 8s
nix-bootstrap-chez
ubuntu-test-collie
1m 57s
ubuntu-test-collie
ubuntu-test-frex
2m 18s
ubuntu-test-frex
ubuntu-test-elab
1m 50s
ubuntu-test-elab
macos-self-host-chez
31m 42s
macos-self-host-chez
ubuntu-self-host-chez
17m 1s
ubuntu-self-host-chez
ubuntu-build-api
6m 20s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
20m 1s
windows-self-host-racket
ubuntu-katla
9m 20s
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