Make hoare_seq_ext and hoare_vcg_seqE wp rules #2528

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	34s
Portable Shell	29s
Style	44s
Theory Linter	34s
Trailing Whitespace	28s
	2m 49s