Skip to content

ci: avoid duplicate verify runs for PR commits#1174

Merged
joaodinissf merged 1 commit into
dsldevkit:masterfrom
joaodinissf:duplicate-verify
Sep 23, 2025
Merged

ci: avoid duplicate verify runs for PR commits#1174
joaodinissf merged 1 commit into
dsldevkit:masterfrom
joaodinissf:duplicate-verify

Conversation

@joaodinissf
Copy link
Copy Markdown
Collaborator

@joaodinissf joaodinissf commented Sep 22, 2025 •
edited
Loading

Here are the semantics of the updated configuration:

push: branches: [master]
  • Triggers on direct pushes to the master branch (including merges from PRs into master)
pull_request:
  • Triggers on PR events:
    • opened: when a PR is first created
    • synchronize: when new commits are pushed to the PR branch
    • reopened: when a closed PR is reopened

@joaodinissf joaodinissf changed the title ci: prevent duplicate verify when PR is created against branch in upstream repo ci: avoid duplicate verify runs for PR commits Sep 22, 2025
@joaodinissf joaodinissf merged commit 1192810 into dsldevkit:master Sep 23, 2025
2 checks passed
@joaodinissf joaodinissf deleted the duplicate-verify branch September 23, 2025 06:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rubenporras rubenporras rubenporras approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@joaodinissf @rubenporras