Started 2 mo 9 days ago
Took 14 min

Success Build #37 (Jan 28, 2020 3:51:58 PM)

Changes
  1. deps/wasm-semantics: update submodule (#83) (details / githubweb)

Push event to branch master at 3:51:52 PM on Jan 28, 2020

Revision: c5c7b42fef95a0ddf1682096419049f57845adf5
  • master