Skip to content

prefer chez scheme 10+ over racket fork #557

prefer chez scheme 10+ over racket fork

prefer chez scheme 10+ over racket fork #557

Triggered via pull request March 19, 2024 13:30
Status Cancelled
Total duration 9m 48s
Artifacts 1

ci-idris2-and-libs.yml

on: pull_request
initialise
11s
initialise
macos-bootstrap-chez
3m 6s
macos-bootstrap-chez
ubuntu-self-host-previous-version
3m 5s
ubuntu-self-host-previous-version
ubuntu-bootstrap-chez
3m 5s
ubuntu-bootstrap-chez
ubuntu-bootstrap-racket
3m 6s
ubuntu-bootstrap-racket
windows-bootstrap-chez
2m 57s
windows-bootstrap-chez
nix-bootstrap-chez
3m 6s
nix-bootstrap-chez
macos-self-host-chez
0s
macos-self-host-chez
ub-test-collie
0s
ub-test-collie
ub-test-frex
0s
ub-test-frex
ub-test-elab-util
0s
ub-test-elab-util
ub-pack-test-pack
0s
ub-pack-test-pack
ub-pack-test-lsp
0s
ub-pack-test-lsp
ub-test-katla-and-html
0s
ub-test-katla-and-html
ubuntu-self-host-chez
0s
ubuntu-self-host-chez
ubuntu-build-api
0s
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

12 errors
windows-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
windows-bootstrap-chez
The operation was canceled.
ubuntu-self-host-previous-version
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
ubuntu-self-host-previous-version
The operation was canceled.
nix-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
nix-bootstrap-chez
The operation was canceled.
ubuntu-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
ubuntu-bootstrap-chez
The operation was canceled.
ubuntu-bootstrap-racket
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
ubuntu-bootstrap-racket
The operation was canceled.
macos-bootstrap-chez
Canceling since a higher priority waiting request for 'refs/pull/3233/merge' exists
macos-bootstrap-chez
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ubuntu-installed-idris2-0.7.0-chez Expired
37.7 MB