Skip to content

[ cov ] Implement labelling and simple model coverage #760

[ cov ] Implement labelling and simple model coverage

[ cov ] Implement labelling and simple model coverage #760

Triggered via pull request September 14, 2023 12:57
Status Cancelled
Total duration 27m 1s
Artifacts 4

ci-deptycheck.yml

on: pull_request
Build DepTyCheck docs
31s
Build DepTyCheck docs
Build thirdparties
2m 56s
Build thirdparties
Build DepTyCheck lib
2m 52s
Build DepTyCheck lib
Aquire test sets for derivation
3s
Aquire test sets for derivation
Build PIL example
3m 46s
Build PIL example
Test DepTyCheck lib
6m 38s
Test DepTyCheck lib
Test DepTyCheck docs
2m 15s
Test DepTyCheck docs
Matrix: Test DepTyCheck's derivation
Test PIL example
1m 16s
Test PIL example
Fit to window
Zoom out
Zoom in

Annotations

18 errors
Test DepTyCheck's derivation (core)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (core)
The operation was canceled.
Test DepTyCheck lib
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck lib
The operation was canceled.
Test DepTyCheck's derivation (infra)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (infra)
The operation was canceled.
Test DepTyCheck's derivation (distribution)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (distribution)
The operation was canceled.
Test DepTyCheck's derivation (least-effort/print/gadt)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (least-effort/print/gadt)
The operation was canceled.
Test DepTyCheck's derivation (least-effort/print/adt)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (least-effort/print/adt)
The operation was canceled.
Test DepTyCheck's derivation (least-effort/run/adt)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (least-effort/run/adt)
The operation was canceled.
Test DepTyCheck's derivation (least-effort/run/gadt)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (least-effort/run/gadt)
The operation was canceled.
Test DepTyCheck's derivation (least-effort/run/regression)
Canceling since a higher priority waiting request for 'Build and test@refs/pull/80/merge' exists
Test DepTyCheck's derivation (least-effort/run/regression)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
built-deptycheck Expired
1.27 GB
built-pil Expired
1.74 GB
built-thirdparties Expired
832 MB
pack-dir Expired
378 MB