Skip to content
Build and test FStar

main.ml: only block signals on Posix systems #2510

Sign in to view logs

main.ml: only block signals on Posix systems

main.ml: only block signals on Posix systems #2510

Triggered via pull request August 4, 2023 22:35
@mtzguidomtzguido
opened #3006
mtzguido:fix-sigprocmask
Status Success
Total duration 8m 3s
Artifacts –

linux-x64.yaml

on: pull_request
build
7m 55s
build
Fit to window
Zoom out
Zoom in