Skip to content

Avoid running the workflow twice on PR pushes#700

Merged
mjpieters merged 1 commit intomasterfrom avoid-double-runsMar 28, 2022
+7

Commits

Commits on Mar 28, 2022