Skip to content

ci: port CircleCI workflow to GitHub Actions#224

Merged
galargh merged 6 commits intomasterfrom
galargh/ci-speedup
Jan 5, 2022
Merged

ci: port CircleCI workflow to GitHub Actions#224
galargh merged 6 commits intomasterfrom
galargh/ci-speedup

Commits

Commits on Jan 4, 2022

Commits on Jan 5, 2022