Skip to content

CI: Also run on PRs and manual trigger#2

Open
EwoutH wants to merge 1 commit intofacorread:masterfrom
EwoutH:patch-1
Open

CI: Also run on PRs and manual trigger#2
EwoutH wants to merge 1 commit intofacorread:masterfrom
EwoutH:patch-1

Commits

Commits on Nov 30, 2022