Skip to content
Idris2 and External Libs

[ fix, re #3063 ] Fix forgotten reflection values #270

Sign in to view logs

[ fix, re #3063 ] Fix forgotten reflection values

[ fix, re #3063 ] Fix forgotten reflection values #270

Triggered via push December 21, 2023 16:31
@CodingCellistCodingCellist
pushed 36132f6
main
Status Cancelled
Total duration 26m 21s
Artifacts 3

ci-idris2-and-libs.yml

on: push
initialise
4s
initialise
quick-check
8m 57s
quick-check
macos-bootstrap-chez
16m 52s
macos-bootstrap-chez
ubuntu-self-host-previous-version
15m 56s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
11m 15s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
16m 52s
ubuntu-bootstrap-racket
windows-bootstrap-chez
16m 50s
windows-bootstrap-chez
nix-bootstrap-chez
16m 52s
nix-bootstrap-chez
macos-self-host-chez
0s
macos-self-host-chez
ub-test-collie
35s
ub-test-collie
ub-test-frex
37s
ub-test-frex
ub-test-elab-util
36s
ub-test-elab-util
ub-pack-test-pack
37s
ub-pack-test-pack
ub-pack-test-lsp
36s
ub-pack-test-lsp
ub-test-katla-and-html
36s
ub-test-katla-and-html
ubuntu-self-host-chez
5m 30s
ubuntu-self-host-chez
ubuntu-build-api
5m 29s
ubuntu-build-api
ubuntu-self-host-racket
0s
ubuntu-self-host-racket
windows-self-host-racket
0s
windows-self-host-racket
Fit to window
Zoom out
Zoom in

Annotations

23 errors
ub-test-collie
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-test-frex
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-test-frex
The operation was canceled.
ub-test-katla-and-html
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-test-katla-and-html
The operation was canceled.
ub-pack-test-pack
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-pack-test-pack
The operation was canceled.
ub-test-elab-util
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-test-elab-util
The operation was canceled.
ub-pack-test-lsp
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ub-pack-test-lsp
The operation was canceled.
ubuntu-self-host-chez
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ubuntu-self-host-chez
The operation was canceled.
ubuntu-build-api
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ubuntu-build-api
The operation was canceled.
nix-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/heads/main' exists
nix-bootstrap-chez
The operation was canceled.
windows-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/heads/main' exists
windows-bootstrap-chez
The operation was canceled.
macos-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/heads/main' exists
macos-bootstrap-chez
The operation was canceled.
ubuntu-bootstrap-racket
Canceling since a higher priority waiting request for 'refs/heads/main' exists
ubuntu-bootstrap-racket
The operation was canceled.

Artifacts

Produced during runtime
Name Size
idris2-nightly-chez Expired
172 MB
ubuntu-installed-bootstrapped-idris2-chez Expired
123 MB
ubuntu-installed-idris2-0.6.0-chez Expired
175 MB