by ecosystem round-trip

Parametric type check #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build by (base + head)	8m 21s
Round-trip shard 6	4m 17s
Round-trip shard 7	9m 24s
Round-trip shard 0	4m 33s
Round-trip shard 2	9m 24s
Round-trip shard 5	9m 23s
Round-trip shard 3	8m 23s
Round-trip shard 1	6m 44s
Round-trip shard 4	9m 24s
Generate round-trip report	1s
	1h 9m 54s