Skip to content
[Jenkins]Jenkins
log in
Success

#270 (Jan 21, 2022, 12:41:14 PM)

Started 3 yr 3 mo ago
Took 41 min on olive

Started by GitHub push by dra27

Revision: 85115a869878ca98ad74d335e41d1e0d0e20d522
Repository: https://github.com/ocaml/ocaml
  • refs/remotes/origin/4.11
Changes
  1. Dynamically allocate the alternate signal stack (commit: dd28ac0) (details / githubweb)
  2. Update Changes (commit: 85115a8) (details / githubweb)