Skip to content

add publish pipeline & cleanup ci#71

Merged
aeschli merged 3 commits intomainfrom
aeschli/publish-pipeline
Nov 3, 2022
Merged

add publish pipeline & cleanup ci#71
aeschli merged 3 commits intomainfrom
aeschli/publish-pipeline

Commits

Commits on Nov 2, 2022

Commits on Nov 3, 2022