Repository navigation

Upgrade CI tools and packages - #100

Merged

cednik merged 1 commit into

mainfrom

Apr 17, 2026

Merged

Upgrade CI tools and packages#100
cednik merged 1 commit into
mainfrom
CI-update

Commits on Apr 17, 2026
- Upgrade tools and packages
  cednik
  committed
  41d11c8