Back to pull request #306

Changed Makefile so opt forces the gnu17 standard #152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-20.04:python-3.6	3m 35s
ubuntu-20.04:python-3.7	3m 39s
ubuntu-20.04:python-3.8	3m 19s
ubuntu-20.04:python-3.9	3m 18s
ubuntu-20.04:python-3.10	3m 11s
ubuntu-20.04:python-3.11	3m 23s
ubuntu-22.04:python-3.7	3m 19s
ubuntu-22.04:python-3.8	3m 16s
ubuntu-22.04:python-3.9	7m 35s
ubuntu-22.04:python-3.10	3m 1s
ubuntu-22.04:python-3.11	3m 2s
	40m 38s