diff options
| author | Alejandro Asenjo Nitti <96613413+sonicdcer@users.noreply.github.com> | 2023-12-06 00:55:02 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-06 00:55:02 -0300 |
| commit | 2607623487b44a584f43535dd153cba77038b8d7 (patch) | |
| tree | 93f5216f4625178bd41c5fca85485fbf34469cea /.github | |
| parent | 7910efb5308c289e72747894f2698e19d780cfa9 (diff) | |
Update ci.yaml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |