Started 1 mo 8 days ago
Took 41 min

Success Build #90 (Jan 13, 2020 9:42:01 AM)

Changes
  1. update c-semantics (#1106) (detail / githubweb)
Changes
  1. Updating RV-Match submodule. (detail / githubweb)

Push event to branch master at 9:41:55 AM on Jan 13, 2020

Revision: feb4f2b2dcc9e59bcc1f352a4238fc4aab260936
  • master
Revision: ad23385feb75626ba946a5a4fb8d589cc321f7b2
  • refs/remotes/origin/master