CI

Merge pull request #556 from FissoreD/warnings+get-inst-prio-api #1250

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.18, 4.09-flambda)	5m 21s
play	8m 8s
build (8.18, 4.13-flambda)	5m 14s
release	0s
	18m 43s