Started 4 mo 24 days ago
Took 39 min

Success Build #13 (Nov 14, 2019 12:47:48 PM)

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

Push event to branch master at 12:47:42 PM on Nov 14, 2019

Revision: 2060e291e7e093ff65a951eb91c9a7d8683b310f
  • master