Skip to content

Run pipeline on PRs too#97

Open
waja wants to merge 1 commit into
hoellen:masterfrom
waja:ci_extend
Open

Run pipeline on PRs too#97
waja wants to merge 1 commit into
hoellen:masterfrom
waja:ci_extend

Commits

Commits on Dec 18, 2024