Skip to content

Switch to Github Actions for CI#39

Merged
ADmad merged 1 commit intomasterfrom
github-actions
Nov 17, 2021
Merged

Switch to Github Actions for CI#39
ADmad merged 1 commit intomasterfrom
github-actions

Commits

Commits on Nov 17, 2021