Skip to content

Switch to github actions for CI#126

Closed
wader wants to merge 1 commit intocortesi:masterfrom
wader:github-actions
Closed

Switch to github actions for CI#126
wader wants to merge 1 commit intocortesi:masterfrom
wader:github-actions

Commits

Commits on Jun 24, 2025