refinement proof for AArch64 #2261

Sign in to view logs

Triggered via pull request August 28, 2023 12:52

lsf37

opened #668

aarch64-refine

Status Failure

Total duration 1m 16s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Theory Linter

Process completed with exit code 123.