Back to pull request #42

Merge remote-tracking branch 'github/dev' into MCPathPerformance #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-generator	2m 56s
trigger-montiverse	0s
build-mc	10m 2s
test-01-experiments	8m 1s
test-it	4m 21s
test-grammar-it	1m 43s
test-02-experiments	2m 30s
test-it-emf	4m 56s
test-montitrans	7m 13s
	41m 42s