Skip to content

ci: Rework pull request title check workflow#804

Merged
gfieni merged 1 commit intomasterfrom
ci/pull-request-title
Apr 1, 2026
Merged

ci: Rework pull request title check workflow#804
gfieni merged 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 execution timeout for the workflow
  • Add concurrency group to prevent parallel workflow runs for a PR
  • Rename workflow file pull-request.yml to pull-request-title.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
@gfieni gfieni force-pushed the ci/pull-request-title branch from 16e22b6 to 181fcdd Compare April 1, 2026 10:13
@gfieni gfieni changed the title ci: Rework pull request check workflow ci: Rework pull request title check workflow Apr 1, 2026
@gfieni gfieni merged commit 6a7bf56 into master Apr 1, 2026
14 checks passed
@gfieni gfieni deleted the ci/pull-request-title branch April 1, 2026 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant