Verissimo runs continuously every 6 hours on release, development and all open pull request branches.
The executed subset of Verissimo rules is based on suggestions from OpenHW contributors.
| Branch | Commit | Result | ||
|---|---|---|---|---|
| cv32e40s/release |
Branch tip (current)
TREE
DIFF
9a8c3de / Mike Thompson / 5 weeks ago Merge pull request #1393 from silabs-robin/cv32e40s/merge_dev_to_rel_24 |
OPEN RESULTS
OPEN LOG
275 errors, 28 disabled |
OPEN COMPARE
cv32e40s
New Failures: 6 errors New Fixes: 1 error Common: 269 errors, 28 disabled |
|
|
Previous commit (baseline)
TREE
DIFF
239df0d / Mike Thompson / 7 months ago Merge pull request #1212 from silabs-robin/cv32e40s/merge_master_to_rel_8 |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||
| cv32e40s/dev |
Branch tip (current)
TREE
DIFF
66a6371 / Henrik Fegran / 8 days ago Merge pull request #1431 from silabs-mateilga/dut_wrap_obi_update |
OPEN LOG
compilation failed |
||
|
Previous commit (baseline)
TREE
DIFF
fed4173 / Henrik Fegran / 8 days ago Merge pull request #1432 from silabs-robin/ci_check_zcmp |
OPEN LOG
compilation failed |
|||
| PR 1435 |
Branch tip (current)
TREE
DIFF
957b70b / Marton Teilgard / 34 hours ago PR review fixes |
OPEN LOG
compilation failed |
||
|
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 7 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||
| PR 1433 |
Branch tip (current)
TREE
DIFF
95dfe90 / Robin Pedersen / 7 days ago mergexs: maintain fv scripts |
OPEN LOG
compilation failed |
||
|
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 7 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||
| PR 1426 |
Branch tip (current)
TREE
DIFF
0369d45 / Robin Pedersen / 11 days ago umode_assert: add extra asserts, comments, and missing conditions |
OPEN LOG
compilation failed |
||
|
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 7 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||
| PR 1423 |
Branch tip (current)
TREE
DIFF
a948518 / Henrik Fegran / 2 days ago Added support for WFE, signal renaming |
OPEN LOG
compilation failed |
||
|
Fork point from cv32e40s/dev (baseline)
TREE
DIFF
2ae74aa / Henrik Fegran / 7 months ago Merge pull request #1210 from silabs-robin/silabs-robin/pr/master_merge_220224_40p_40x_40s_x2s |
OPEN RESULTS
OPEN LOG
270 errors, 28 disabled |
|||