Repository navigation

ci: disable lint job and fix merge-ready condition - #14

Merged

csvenke merged 1 commit into

mainfrom

Dec 10, 2025

Commits on Dec 10, 2025
- ci: fix merge-ready job
  csvenke
  committed
  1106264