Skip to content
build

executors/lean4: allow threads and add syscall #3005

Sign in to view logs

executors/lean4: allow threads and add syscall

executors/lean4: allow threads and add syscall #3005

Triggered via push March 31, 2025 10:28
@kiritofengkiritofeng
pushed 7b7f5fc
master
Status Success
Total duration 5m 50s
Artifacts –

build.yml

on: push
lint
13s
lint
mypy
15s
mypy
test-sdist
1m 12s
test-sdist
Matrix: amd64
Matrix: arm64
Fit to window
Zoom out
Zoom in