Skip to content

Run pipeline on PRs too#97

Open
waja wants to merge 1 commit intohoellen:masterfrom
waja:ci_extend
Open

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

Commits

Commits on Dec 18, 2024