Back to pull request #826

Discard ARM Refine proofs on rt branch #2755

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Portable Shell	32s
Style	43s
Gitlint	43s
Trailing Whitespace	32s
	2m 30s