CI

when renaming, give precedence to recent context entries over old ones #1229

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	10m 14s
build (8.18, 4.09-flambda)	2m 20s
build (8.18, 4.13-flambda)	2m 34s
release	0s
	15m 8s