build

executors/lean4: allow threads and add syscall #3004

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	12s
mypy	16s
test-sdist	1m 1s
amd64 (3.10)	5m 29s
amd64 (3.9)	5m 34s
amd64 (3.7)	5m 41s
amd64 (3.8)	5m 37s
arm64 (3.11)	4m 21s
amd64 (3.11)	5m 30s
	33m 41s