Skip to content
Idris2 and External Libs

[ sync ] Synchronise lazy list impl in src/Libraries with base #297

Sign in to view logs

[ sync ] Synchronise lazy list impl in src/Libraries with base

[ sync ] Synchronise lazy list impl in src/Libraries with base #297

Triggered via push December 29, 2023 15:22
@mattpolzinmattpolzin
pushed 439aa00
main
Status Success
Total duration 51m 18s
Artifacts 6

ci-idris2-and-libs.yml

on: push
initialise
4s
initialise
quick-check
8m 16s
quick-check
macos-bootstrap-chez
12m 47s
macos-bootstrap-chez
ubuntu-self-host-previous-version
11m 32s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
8m 10s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
12m 34s
ubuntu-bootstrap-racket
windows-bootstrap-chez
24m 10s
windows-bootstrap-chez
nix-bootstrap-chez
17m 52s
nix-bootstrap-chez
macos-self-host-chez
29m 6s
macos-self-host-chez
ub-test-collie
2m 23s
ub-test-collie
ub-test-frex
1m 32s
ub-test-frex
ub-test-elab-util
55s
ub-test-elab-util
ub-pack-test-pack
11m 29s
ub-pack-test-pack
ub-pack-test-lsp
13m 51s
ub-pack-test-lsp
ub-test-katla-and-html
8m 12s
ub-test-katla-and-html
ubuntu-self-host-chez
10m 53s
ubuntu-self-host-chez
ubuntu-build-api
4m 9s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
13m 10s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Annotations

1 warning
windows-self-host-racket
The following actions uses node12 which is deprecated and will be forced to run on node16: Bogdanp/setup-racket@v1.4. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
idris2-nightly-chez Expired
119 MB
macos-installed-bootstrapped-idris2-chez Expired
118 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
118 MB
ubuntu-installed-bootstrapped-idris2-racket Expired
159 MB
ubuntu-installed-idris2-0.7.0-chez Expired
119 MB
windows-installed-bootstrapped-idris2-chez Expired
118 MB