CI

Merge pull request #538 from FissoreD/class-declare-TC-command #1222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
play	9m 36s
build (8.18, 4.09-flambda)	6m 54s
build (8.18, 4.13-flambda)	5m 17s
release	0s
	21m 47s