Avoid skipping duplicates

This commit is contained in:
mmontes11
2025-07-11 21:18:53 +02:00
committed by Martin Montes
parent f641705cc5
commit 04da5782e0

View File

@ -25,6 +25,7 @@ jobs:
github_token: ${{ secrets.GITHUB_TOKEN }}
paths_ignore: '["*.md","*.md.gotmpl",".github/**","docs/**","examples/**"]'
concurrent_skipping: false
skip_after_successful_duplicate: false
lint:
name: Lint