CI

Reinstated stronger bounded WP rule #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
iq-build	1m 37s
isabelle-assistant	1m 55s
ip-build	1m 9s
lint-markdown-link	18s
build	19m 59s
ip-test	25m 15s
	50m 13s