Skip to content

fix(ci): use --no-project in docs workflow mike commands#887

Merged
DingmaomaoBJTU merged 6 commits into
mainfrom
fix/docs-ci-deps
Jun 12, 2026
Merged

fix(ci): use --no-project in docs workflow mike commands#887
DingmaomaoBJTU merged 6 commits into
mainfrom
fix/docs-ci-deps

fix(ci): use --no-project with uv run for mike commands

f0885a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar