Skip to content

ci: run on GitHub's hosted runners, as a public repository - #21

Merged
cristiangirlea merged 2 commits into
mainfrom
ci/github-runners
Oct 15, 2026
Merged

cristiangirlea merged 2 commits into
mainfrom
ci/github-runners

Commits

  1. Commits on Oct 15, 2026