Skip to content

add publish pipeline & cleanup ci#71

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

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

use prepack, update pipeline

1d8d110
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs