Commit graph

6 commits

Author SHA1 Message Date
Philipp Wagner
b807879aca CI: Show exact command to run Verilator lint
The options were missing, leading to an incomplete command, which makes
it hard to reproduce lint failures locally.
2020-07-03 13:24:17 +01:00
Philipp Wagner
18db64f6fa CI: Enable Verible lint for all configs 2020-07-03 13:24:17 +01:00
Greg Chadwick
5da42b1594 [ci] Fix multi-config CI
Multi-config CI wasn't actually trying multiple configurations. This
fixes that issue and uses a less fragile method of producing fusesoc
options. They are generated once and stored in a variable so we cannot
accidentally break one or more steps by using an incorrect
ibex_config.py command in one step whilst using a correct
ibex_config.py in the display step (which is also intended to check the
ibex_config.py command is correct).
2020-04-14 15:08:00 +01:00
Greg Chadwick
dba0529156 [ci] Introduce multiple-configuration CI 2020-03-27 10:30:46 +00:00
Philipp Wagner
148604265e Remove PULP CI configuration
We don't support this CI configuration any more.
2019-04-26 15:09:00 +01:00
Gautschi
f75a0246d9 added trigger for pulpino 2017-06-12 14:15:08 +02:00