Started 2 yr 6 mo ago
Took 5 sec on Build 3

Failed Build #35 (May 4, 2020 4:16:22 PM)

Started by GitLab push by Michele Carignani
Changes
  1. fix specification of int32 as discussed in the mailing list (detail)

Started by GitLab push by Michele Carignani

Revision: 8a72b287bfbd9a0255cddb6a8adb550dbf0a3621
  • origin/automatic_generation