refinement proof for AArch64 #2264
pr.yml
on: pull_request
Gitlint
43s
Trailing Whitespace
30s
Portable Shell
32s
Style
44s
Theory Linter
44s
Annotations
1 error
Theory Linter
Process completed with exit code 123.
|