Skip to content

Switch CI to GitHub Actions#2

Open
jasny wants to merge 14 commits intomasterfrom
codex/convert-travis-ci-to-github-actions
Open

Switch CI to GitHub Actions#2
jasny wants to merge 14 commits intomasterfrom
codex/convert-travis-ci-to-github-actions

Commits

Commits on Nov 13, 2025

Commits on Nov 15, 2025

Commits on Dec 2, 2025