Skip to content

Implement CI workflow for pull requests, including linting, version d… - #25

Merged
github-actions[bot] merged 1 commit into
mainfrom
fixes/ci
Nov 23, 2025
Merged

github-actions[bot] merged 1 commit into
mainfrom
fixes/ci

Commits

Commits on Nov 23, 2025