Add new verific testing environment CI - Githubissues

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.3k stars 860 forks source link

Add new verific testing environment CI #4341

Closed mmicko closed 2 months ago

mmicko commented 2 months ago

Moved CI environment from Jenkins to private GitHub actions.
Contains documentation update on "main"
Runs sby tests on "main"
Runs Verific related and simple sby test on any branch/PR