Skip to content

CI: migrate from Travis to GitHub Actions (split legacy/modern)#715

Merged
eitanp461 merged 6 commits intomasterfrom
chore/ci-gha-migrate-travis
Sep 18, 2025
Merged

CI: migrate from Travis to GitHub Actions (split legacy/modern)#715
eitanp461 merged 6 commits intomasterfrom
chore/ci-gha-migrate-travis

Commits

Commits on Aug 13, 2025

Commits on Aug 14, 2025

Commits on Sep 15, 2025

Commits on Sep 16, 2025

Commits on Sep 18, 2025