Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Ensure signals are handled before Unix.{kill,sigprocmask} return (#9802) (commit: 5b4b834) (details)
Commit 5b4b834578c2cb3674ef4b68e4ce8b447590af3c by noreply
Ensure signals are handled before Unix.{kill,sigprocmask} return (#9802)

 (commit: 5b4b834)
The file was modifiedtestsuite/tests/callback/tcallback.ml (diff)
The file was modifiedChanges (diff)
The file was addedtestsuite/tests/lib-unix/kill/unix_kill.ml
The file was addedtestsuite/tests/lib-unix/kill/unix_kill.reference
The file was modifiedtestsuite/tests/callback/callbackprim.c (diff)
The file was modifiedtestsuite/tests/callback/signals_alloc.ml (diff)
The file was modifiedotherlibs/unix/kill.c (diff)