Skip to content

ci: Rework pull request check workflow#804

Open
gfieni wants to merge 1 commit intomasterfrom
ci/pull-request-title
Open

ci: Rework pull request check workflow#804
gfieni wants to merge 1 commit intomasterfrom
ci/pull-request-title

Conversation

@gfieni
Copy link
Copy Markdown
Contributor

@gfieni gfieni commented Mar 31, 2026

This PR reworks the GitHub actions workflow for the pull request checks.
Detailed changes :

  • Remove external action dependency (amannn/action-semantic-pull-request)
  • Add python script to parse and validate the pull request title (semantic commit format)
  • Remove all permissions for the GITHUB_TOKEN
  • Add global timeout to the check-pr job
  • Add concurrency group to prevent parallel workflow runs for a PR
  • Rename workflow file pull-request.yml to pull-request-check.yml

@gfieni gfieni self-assigned this Mar 31, 2026
@gfieni gfieni requested a review from a team as a code owner March 31, 2026 16:39
@gfieni gfieni added the enhancement New feature or request label Mar 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@gfieni gfieni

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@gfieni