Skip to content

[CI] Update workflow to allow builds without pushes#22

Merged
eitsupi merged 1 commit intomainfrom ci-buildSep 23, 2022

Commits

Commits on Sep 23, 2022