Skip to content
CI

add(LinearLogic): faithfulness of Girard's embedding #2590

Sign in to view logs

add(LinearLogic): faithfulness of Girard's embedding

add(LinearLogic): faithfulness of Girard's embedding #2590

Triggered via pull request February 23, 2026 04:57
@iehalityiehality
opened #784
LL-to-LK
Status Cancelled
Total duration 2m 2s
Artifacts –

ci.yml

on: pull_request
Build project
1m 58s
Build project
Check references.bib format
37s
Check references.bib format
Check mk_all executed
1m 50s
Check mk_all executed
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Check mk_all executed
Process completed with exit code 1.
Build project
Canceling since a higher priority waiting request for CI-refs/pull/784/merge exists
Build project
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/784/merge exists