continuous integration

chore: simplify some proofs, try to avoid omega #157225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	9m 6s
Lint style	2m 18s
Post-CI job	11s
	11m 35s