Merge pull request #461 from biojppm/fix/455 #623

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage/c++11	9m 59s
coverage/c++17	10m 36s
coverage/c++11-DRYML_DBG=ON	12m 35s
coverage/c++17-DRYML_DBG=ON	12m 28s
	45m 38s