diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 81842bd3..edc27437 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -22,6 +22,8 @@ jobs: - name: Install Python dependencies run: python3 -m pip install -r ./tools/requirements-python.txt + + - name: build toolchain run: make -s -C tools - name: Update submodules