refinement proof for AArch64 #2269
pr.yml
on: pull_request
Gitlint
41s
Trailing Whitespace
29s
Portable Shell
36s
Style
51s
Theory Linter
39s