Skip to content
CI

add(SecondOrder): second-order LK #2624

Sign in to view logs

add(SecondOrder): second-order LK

add(SecondOrder): second-order LK #2624

Triggered via pull request February 27, 2026 19:38
@iehalityiehality
synchronize #792
second-order-logic-part2
Status Cancelled
Total duration 33s
Artifacts –

ci.yml

on: pull_request
Build project
15s
Build project
Check references.bib format
22s
Check references.bib format
Check mk_all executed
27s
Check mk_all executed
Generate page
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/792/merge exists
Build project
The operation was canceled.
Check references.bib format
Canceling since a higher priority waiting request for CI-refs/pull/792/merge exists
Check references.bib format
The operation was canceled.
Check mk_all executed
Canceling since a higher priority waiting request for CI-refs/pull/792/merge exists
Check mk_all executed
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/792/merge exists