Remove hoare_vcg_precond_imp from wp_comb #2522

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	32s
Portable Shell	25s
Style	39s
Theory Linter	36s
Trailing Whitespace	27s
	2m 39s