Skip to content
Lint

AArch64 Access Control: initial setup #175

Sign in to view logs

AArch64 Access Control: initial setup

AArch64 Access Control: initial setup #175

Triggered via pull request December 12, 2024 01:54
@ryybrrryybrr
synchronize #837
Status Failure
Total duration 48s
Artifacts –

lint.yml

on: pull_request_target
Theory Linter
39s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 1 warning
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L298
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L310
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L318
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L331
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L342
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L348
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L354
This command indicates an unfinished or aborted proof.
Unfinished proof: proof/access-control/AARCH64/ArchAccess.thy#L359
This command indicates an unfinished or aborted proof.
Theory Linter
Action thylint failed.
Theory Linter
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636