Started 1 mo 17 days ago
Took 7 min 8 sec

Success Build #2187 (Dec 6, 2019 7:10:31 AM)

PR #3907: Initial RISC-V port

GitHub pull request #3907 of commit bf87314933eff51d97178bc23fc3be662a661574, no merge conflicts.

Test Result (no failures)