Leading Zero on Coordinate Strings, Fallback ARIA Versioning #26
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deleted PR - SearchAPI Stack (prod) | |
| on: | |
| pull_request: | |
| types: | |
| - closed | |
| branches: | |
| - prod | |
| jobs: | |
| delete-stack-prod-pr: | |
| # If a fork triggered this, don't do anything. | |
| if: github.event.pull_request.head.repo.full_name == github.repository | |
| uses: ./.github/workflows/reusable-DeleteStack-SearchAPI.yml | |
| with: | |
| # Can't just use github.ref_name, changes if the PR is merged vs closed. | |
| # Craft the PR label ourself: | |
| TAG: "${{ github.event.number }}/merge" | |
| environment: prod | |
| # What secrets from the environment, the workflow should have access to: | |
| secrets: | |
| AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }} | |
| AWS_SECRET_ACCESS_KEY: ${{ secrets.AWS_SECRET_ACCESS_KEY }} |