Repository navigation

Rename the CI workflow from main to ci - #23

Merged

tomaslink merged 2 commits into

mainfrom

rename-ci-workflow

Oct 20, 2026

Merged

Rename the CI workflow from main to ci#23
tomaslink merged 2 commits into
mainfrom
rename-ci-workflow

Commits on Oct 20, 2026
- Rename the CI workflow from main to ci
  tomaslink
  committed
  febfffc
- Name the workflow ci and point the README badge to ci.yaml
  tomaslink
  committed
  cc14b08