Skip to content

Deploy docs website on push/pull to dev, since we don't have a main branch#213

Merged
dshemetov merged 1 commit intodevfrom
ndefries/deploy-website-on-dev
Nov 10, 2023

Commits

Commits on Nov 10, 2023