CI

use when instead of if+progn #127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.1)	1m 28s
build (26.3)	50s
build (28.1)	1m 41s
build (27.2)	54s
build (25.2)	49s
build (25.3)	2m 3s
build (27.1)	52s
build (29.1)	49s
build (release-snapshot)	2m 10s
build (28.2)	52s
build (30.1)	1m 23s
build (snapshot)	45s
build (29.3)	1m 24s
build (29.2)	2m 19s
	18m 19s