Update ci.yaml

This commit is contained in:
Alejandro Asenjo Nitti 2023-12-06 00:55:02 -03:00 committed by GitHub
parent 7910efb530
commit 2607623487
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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