oil

[types] Add typing to doctools/util.py #8949

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dev-minimal	3m 53s
dummy	12s
cpp-coverage	4m 55s
dev-setup-debian	8m 0s
interactive	5m 18s
other-tests	2m 20s
ovm-tarball	9m 37s
pea	20s
benchmarks	10m 8s
cpp-small	6m 7s
cpp-spec	5m 20s
cpp-tarball	3m 16s
wild	3m 34s
app-tests	3m 25s
bloaty	1m 13s
benchmarks2	5m 44s
raw-vm	1m 24s
maybe-merge-to-master	17s
	1h 15m 3s