Skip to content

ci: allow pushes to main to deploy#1852

Merged
jpivarski merged 2 commits intomainfrom agoose77/ci-docs-deploy-on-mainOct 31, 2022

Commits

Commits on Oct 31, 2022