3 commits

Author	SHA1	Message	Date
Krystine Sherwin	640c4e01fc	ci: Remove oss-test	2024-03-16 15:41:03 +13:00
Krystine Sherwin	4d33229786	ci: Add riscv-formal job ... Checkout YosysHQ/riscv-formal and run `make checks` for picorv32.	2024-03-16 15:41:03 +13:00
Krystine Sherwin	6881fa5158	ci: Initial commit ... Dummy test of YosysHQ/setup-oss-cad-suite@v3	2024-03-16 15:39:40 +13:00