refinement proof for AArch64 #2273
pr.yml
on: pull_request
Gitlint
48s
Trailing Whitespace
29s
Portable Shell
31s
Style
48s
Theory Linter
39s