Repository navigation

CI on pull requests - #40

Merged

dskripchenko merged 1 commit into

mainfrom

ci/pull-requests

Oct 25, 2026

Merged

CI on pull requests#40
dskripchenko merged 1 commit into
mainfrom
ci/pull-requests

Commits on Oct 25, 2026
- ci: lint, test and build on pull requests
  
  dskripchenko
  and
  claude
  committed
  0366ba2