Skip to content

add publish pipeline & cleanup ci - #71

Merged
Martin Aeschlimann (aeschli) merged 3 commits into
mainfrom
aeschli/publish-pipeline
Nov 3, 2022
Merged

add publish pipeline & cleanup ci#71
Martin Aeschlimann (aeschli) merged 3 commits into
mainfrom
aeschli/publish-pipeline

Commits

Commits on Nov 2, 2022

Commits on Nov 3, 2022