Skip to content

Commit 5e9ace0

Browse files
committed
Don't run SL scan in the merge queue
Apparantly there is a timing issue so sometimes we get this: https://github.com/DOMjudge/domjudge/actions/runs/7395308777/job/20118228271 Here the branch is already deleted before we push back the result. Why the job even started but doesn't wait for the CI is a mystery for now.
1 parent 091bd48 commit 5e9ace0

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.github/workflows/shiftleft.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,8 @@ on:
55
branches-ignore:
66
- main
77
- '[0-9]+.[0-9]+'
8+
- gh-readonly-queue/main/*
9+
- gh-readonly-queue/main/[0-9]+.[0-9]+
810

911
jobs:
1012
Scan-Build:

0 commit comments

Comments
 (0)