Skip to content

CI: update and remove actions#77

Merged
cjihrig merged 2 commits intomasterfrom ciJan 14, 2020

Commits

Commits on Jan 14, 2020