Skip to content

Skip redundant push builds for branches with an open PR - #3941

Merged
siegfriedpammer merged 3 commits into
masterfrom
ci-skip-duplicate-push-builds
Jul 31, 2026
Merged

Skip redundant push builds for branches with an open PR#3941
siegfriedpammer merged 3 commits into
masterfrom
ci-skip-duplicate-push-builds

Skip the decompiler tests on macOS

e0f8625
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar