Lint

No inlining, fix bugs in the hypotheses, improve the macros #525

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-remove-before-flight	14s
check-iwyu	49s
check-cpp	1m 50s
	2m 53s