Skip to content
build

executors/lean4: allow threads and add syscall #3004

Sign in to view logs

executors/lean4: allow threads and add syscall

executors/lean4: allow threads and add syscall #3004

Triggered via pull request March 31, 2025 10:03
@int-y1int-y1
opened #1206
int-y1:add-lean4-syscall
Status Success
Total duration 5m 47s
Artifacts –

build.yml

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