Skip to content
Idris2 and External Libs

Fix reflection of MkFCVal (#3443) #1081

Sign in to view logs

Fix reflection of MkFCVal (#3443)

Fix reflection of MkFCVal (#3443) #1081

Triggered via push December 12, 2024 23:38
@andrevidelaandrevidela
pushed fcac16b
main
Status Success
Total duration 42m 56s
Artifacts 6

ci-idris2-and-libs.yml

on: push
initialise
3s
initialise
quick-check
6m 13s
quick-check
macos-bootstrap-chez
6m 41s
macos-bootstrap-chez
ubuntu-self-host-previous-version
11m 52s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
7m 48s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
12m 59s
ubuntu-bootstrap-racket
windows-bootstrap-chez
24m 19s
windows-bootstrap-chez
nix-bootstrap-chez
20m 4s
nix-bootstrap-chez
macos-self-host-chez
14m 35s
macos-self-host-chez
ub-test-collie
31s
ub-test-collie
ub-test-frex
4m 10s
ub-test-frex
ub-test-elab-util
34s
ub-test-elab-util
ub-pack-test-pack
12m 17s
ub-pack-test-pack
ub-pack-test-lsp
15m 5s
ub-pack-test-lsp
ub-test-katla-and-html
6m 2s
ub-test-katla-and-html
ubuntu-self-host-chez
12m 33s
ubuntu-self-host-chez
ubuntu-build-api
4m 17s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
11m 44s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
initialise
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
quick-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu-bootstrap-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu-self-host-previous-version
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu-build-api
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-test-collie
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-test-elab-util
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu-bootstrap-racket
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-test-frex
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-test-katla-and-html
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
nix-bootstrap-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu-self-host-chez
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-pack-test-pack
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ub-pack-test-lsp
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
idris2-nightly-chez
38.2 MB
macos-installed-bootstrapped-idris2-chez
28.2 MB
ubuntu-installed-bootstrapped-idris2-chez
25.4 MB
ubuntu-installed-bootstrapped-idris2-racket
57.9 MB
ubuntu-installed-idris2-0.7.0-chez
38.2 MB
windows-installed-bootstrapped-idris2-chez
25.6 MB