Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 9 mo ago
Took 2 days 21 hr
Failed

Build #848 (Jan 5, 2023, 11:12:07 AM)

Changes
  1. Always remove asm temp file, unless explicitly kept (#11850) (commit: 1ee5ce1) (details / githubweb)

Started by GitHub push by nojb

Revision: 1ee5ce19662da9891b564609beda5e36a9620f3a
Repository: git@github.com:ocaml/ocaml.git
  • origin/trunk