CI misc

Revert "Increase max bound for search arguments (#126)" #714

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Documentation	1m 19s
Header gcc12	3m 30s
Header gcc10	3m 27s
	8m 16s