Skip to content

add(Incompleteness): Add LT version WitnessComparison #2611

add(Incompleteness): Add LT version WitnessComparison

add(Incompleteness): Add LT version WitnessComparison #2611

Triggered via pull request February 25, 2026 05:17
Status Cancelled
Total duration 22s
Artifacts

ci.yml

on: pull_request
Build project
4s
Build project
Check references.bib format
13s
Check references.bib format
Check mk_all executed
17s
Check mk_all executed
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Build project
Canceling since a higher priority waiting request for CI-refs/pull/780/merge exists
Build project
The operation was canceled.
Check references.bib format
Canceling since a higher priority waiting request for CI-refs/pull/780/merge exists
Check references.bib format
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/780/merge exists
Check mk_all executed
Canceling since a higher priority waiting request for CI-refs/pull/780/merge exists
Check mk_all executed
The operation was canceled.