Skip to content

Switch CI to use GitHub Actions#28

Merged
fingolfin merged 1 commit intomasterfrom mh/travis-to-gh-actionsApr 14, 2021

Commits

Commits on Apr 6, 2021