fix: venv/bin without leading dot #850

	name: CI

	on:
	push:

	jobs:
	build:
	name: Build documentation
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repo
	uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Grab commits from submodules
	run: \|
	make init-submodules
	make update-submodules
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.12
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt
	sudo apt-get install graphviz
	- name: build graphviz figures
	run: make graphvizfigures
	- name: Update OpenAPI docs
	run: make openapi-update
	- name: Build docs in strict mode
	run: mkdocs build --strict
	- name: Serve docs
	run: \|
	mike deploy $(DSP) latest --update-aliases
	mike serve

Provide feedback