Skip to content

Chore/ruff lint format ci#7

Merged
jzh18 merged 3 commits into
mainfrom
chore/ruff-lint-format-ci
Jun 12, 2026
Merged

Chore/ruff lint format ci#7
jzh18 merged 3 commits into
mainfrom
chore/ruff-lint-format-ci

Add CI workflow gating lint and formatting on PRs

2100348
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded Jun 12, 2026 in 6s