Skip to content

[ cov ] Implement labelling and simple model coverage #764

[ cov ] Implement labelling and simple model coverage

[ cov ] Implement labelling and simple model coverage #764

Triggered via pull request September 14, 2023 18:54
Status Cancelled
Total duration 25m 25s
Artifacts 4

ci-deptycheck.yml

on: pull_request
Build DepTyCheck docs
20s
Build DepTyCheck docs
Build thirdparties
3m 39s
Build thirdparties
Build DepTyCheck lib
2m 48s
Build DepTyCheck lib
Aquire test sets for derivation
3s
Aquire test sets for derivation
Build PIL example
4m 0s
Build PIL example
Test DepTyCheck lib
7m 54s
Test DepTyCheck lib
Test DepTyCheck docs
2m 4s
Test DepTyCheck docs
Matrix: Test DepTyCheck's derivation
Test PIL example
1m 15s
Test PIL example
Fit to window
Zoom out
Zoom in

Annotations

14 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 (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/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/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/gadt)
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)
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.

Artifacts

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