Repository navigation

lint new versions - #117

Merged

pablochacin merged 2 commits into

mainfrom

lint-new-versions

Nov 18, 2025

Merged

lint new versions#117
pablochacin merged 2 commits into
mainfrom
lint-new-versions

Commits on Nov 10, 2025
- implement script for checking new versions
  pablochacin
  committed
  d297e5e
- lint new versions in PR
  pablochacin
  committed
  ba8f0d0