CI

add interruptible stdin hint to docs #1491

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (21)	4m 49s
ci (24)	5m 3s
mima / mima	1m 5s
label	-1s
auto-merge	0s
publish	0s
	10m 56s