Skip to content

[ derive ] Impement multi-stage algorithm for calculation of ordering #1649

[ derive ] Impement multi-stage algorithm for calculation of ordering

[ derive ] Impement multi-stage algorithm for calculation of ordering #1649

Triggered via pull request October 23, 2024 07:48
Status Cancelled
Total duration 3h 35m 59s
Artifacts 3

ci-deptycheck.yml

on: pull_request
Build the docs
16s
Build the docs
Build thirdparties
1m 16s
Build thirdparties
Build the lib
1m 7s
Build the lib
Acquire test sets
8s
Acquire test sets
Acquire examples
2s
Acquire examples
Matrix: Test the lib
Matrix: Build and test examples
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Test the lib (derivation/least-effort/run/gadt)
Process completed with exit code 1.
Test the lib (derivation/least-effort/print/gadt)
Process completed with exit code 1.
Build and test examples (pil-fun)
Canceling since a higher priority waiting request for 'DepTyCheck@refs/pull/183/merge' exists
Build and test examples (pil-fun)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
built-deptycheck
131 MB
built-thirdparties
85.8 MB
pack-dir
42.3 MB