Skip to content

run CI also on pull_request#17

Merged
multimeric merged 1 commit into
aCLImatise:masterfrom
bernt-matthias:topic/ci-on-pr
Jul 23, 2020
Merged

run CI also on pull_request#17
multimeric merged 1 commit into
aCLImatise:masterfrom
bernt-matthias:topic/ci-on-pr

Commits

Commits on Jul 22, 2020