Skip to content

run ci also on pull request for external contributors#221

Merged
ailisp merged 3 commits intodevelopfrom ci-on-prSep 15, 2022