Back to pull request #23

Replace extkey for deprecated TER repo #34

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (^10.4, 7.4)	41s
build (^11.5, 7.4)	52s
build (^11.5, 8.0)	55s
	2m 28s