diff --git a/.github/workflows/yosys-plugin.yml b/.github/workflows/yosys-plugin.yml index b694bbc518..32c93f2f96 100644 --- a/.github/workflows/yosys-plugin.yml +++ b/.github/workflows/yosys-plugin.yml @@ -46,7 +46,7 @@ jobs: git checkout stable_rs git submodule sync git submodule update --depth 3 --init --recursive --checkout \ - ./third_party/{surelog,yosys,make_env,yosys_f4pga_plugins} \ + ./third_party/{surelog,yosys,make_env,yosys_f4pga_plugins,ibex} \ ; - name: Create Cache Timestamp