Skip to content

Reduce repetitive CI builds when pushing to the main repository#241

Merged
jstasiak merged 2 commits intomasterfrom no-unnecessary-buildsDec 13, 2023

Commits

Commits on Dec 13, 2023