Fix makefile + autodocs.

This commit is contained in:
Nicolas Patry 2024-07-30 15:40:02 +02:00
parent 2611c1a55f
commit fa687dd340
No known key found for this signature in database
GPG Key ID: 64AF4752B2967863
2 changed files with 4 additions and 4 deletions

View File

@ -41,5 +41,5 @@ jobs:
- name: Check that documentation is up-to-date
run: |
npm install -g swagger-cli
npm install -g @redocly/cli
python update_doc.py --check

View File

@ -5,13 +5,13 @@ install-server-cpu:
cd server && make install-server
install-router:
cd router && cargo install --path .
cargo install --path backends/v3/
install-launcher:
cd launcher && cargo install --path .
cargo install --path launcher/
install-benchmark:
cd benchmark && cargo install --path .
cargo install --path benchmark/
install: install-server install-router install-launcher