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

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

The logs for this run have expired and are no longer available.