Skip to content

Avoid running CI twice on PRs.#461

Closed
ezio-melotti wants to merge 2 commits intomainfrom
fix-gh-workflow
Closed

Avoid running CI twice on PRs.#461
ezio-melotti wants to merge 2 commits intomainfrom
fix-gh-workflow

Commits

Commits on May 30, 2022