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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
7m 55s
7m 55s