Skip to content

Get Pull Request ID#152

Open
dkfellows wants to merge 2 commits into
mainfrom
get-pr-id
Open

Get Pull Request ID#152
dkfellows wants to merge 2 commits into
mainfrom
get-pr-id

Conversation

@dkfellows

Copy link
Copy Markdown
Collaborator

This action determines the PR for the current commit. Use to allow a push-triggered action workflow to see what PR it's working for, if any.

Evidence of correctness

  • UoMResearchIT/actions-test#24

@dkfellows dkfellows self-assigned this Jun 15, 2026
@dkfellows dkfellows added enhancement ⭐ New feature or request github_actions Pull requests that update GitHub Actions code labels Jun 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement ⭐ New feature or request github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant