Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Expose pull request id as CI_PR_NUMBER and CI_PR_ID #47

Merged
merged 4 commits into from Jul 7, 2022
Merged

Expose pull request id as CI_PR_NUMBER and CI_PR_ID #47

merged 4 commits into from Jul 7, 2022

Commits on Jul 5, 2022

  1. Expose pull request id as CI_PR_NUMBER and CI_PR_ID 

    Right now the closest this action offers `CI_REF_NAME_SLUG` which is `42-merge`, but its not clean and more importantly cannot be used in numerical contexts which would benefit from having that as `42`. if current event is not a pull-request, it should be empty
    @iamstarkov
    iamstarkov committed Jul 5, 2022
    Copy the full SHA
    ad0bd50 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2022

  1. add printing CI_PR_NUMBER and CI_PR_ID into the demo workflow

    @iamstarkov
    iamstarkov committed Jul 6, 2022
    Copy the full SHA
    16fae30 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2022

  1. Update version and dependencies.

    @FranzDiebold
    FranzDiebold committed Jul 7, 2022
    Copy the full SHA
    b21b36d View commit details
    Browse the repository at this point in the history

  2. Update demo.

    @FranzDiebold
    FranzDiebold committed Jul 7, 2022
    Copy the full SHA
    010b249 View commit details
    Browse the repository at this point in the history