Skip to content

ci: make CI run on main when pushed, and on PRs#128

Merged
maybeanerd merged 1 commit intomainfrom
ci/adjust-pipelines-to-run-on-PRs
Oct 2, 2022
Merged

ci: make CI run on main when pushed, and on PRs#128
maybeanerd merged 1 commit intomainfrom
ci/adjust-pipelines-to-run-on-PRs

Commits

Commits on Oct 2, 2022