Skip to content
CI

CI #2877

Sign in to view logs

CI

CI #2877

Triggered via push March 1, 2024 15:50
@lsf37lsf37
⁠ 0e73fe9
aarch64
Status Success
Total duration 8m 36s
Artifacts –

push.yml

on: push
License Check
14s
License Check
Links
14s
Links
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Unfinished proof: proof/crefine/AARCH64/Fastpath_C.thy#L1755
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/crefine/AARCH64/Fastpath_C.thy#L2571
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/crefine/AARCH64/Fastpath_Equiv.thy#L549
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/crefine/AARCH64/Fastpath_Equiv.thy#L1423
This command indicates an unfinished or aborted proof.
Axioms: proof/crefine/AARCH64/Init_C.thy#L17
Locales or definitions should usually be preferred to axioms, because axioms may make the logic inconsistent. Merely introducing a new constant (without new laws) is fine, though.
Unfinished proof: proof/crefine/AARCH64/IpcCancel_C.thy#L2775
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/crefine/AARCH64/IpcCancel_C.thy#L2950
This command indicates an unfinished or aborted proof.