Skip to content
This repository has been archived by the owner on May 17, 2024. It is now read-only.

Bump aws-cdk-lib from 2.140.0 to 2.142.0 in /infra #5045

Bump aws-cdk-lib from 2.140.0 to 2.142.0 in /infra

Bump aws-cdk-lib from 2.140.0 to 2.142.0 in /infra #5045

Workflow file for this run

name: "pr-target"
on:
pull_request_target:
types: [opened]
jobs:
# label with "dev" to enable PR filtering
label:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
if: ${{ github.event.pull_request.user.login != 'dependabot[bot]' }}
steps:
- id: label-the-PR
uses: actions/labeler@v5
# Add comment to trigger notification
- uses: actions/checkout@v4
if: contains(steps.label-the-PR.outputs.all-labels, 'dev')
- name: Add comment to PR
if: contains(steps.label-the-PR.outputs.all-labels, 'dev')
run: gh pr comment $PR --body "PR created by $USER"
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR: ${{ github.event.pull_request.number }}
USER: ${{ github.event.pull_request.user.login }}
# automerge successful dependabot PRs
dependabot:
permissions:
pull-requests: write
contents: write
runs-on: ubuntu-latest
if: ${{ github.event.pull_request.user.login == 'dependabot[bot]' }}
steps:
- name: Dependabot metadata
id: dependabot-metadata
uses: dependabot/fetch-metadata@v2
- name: Enable auto-merge for Dependabot PRs
if: ${{steps.dependabot-metadata.outputs.target-branch == 'dev'}}
run: gh pr merge --auto --merge "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GH_TOKEN: ${{secrets.GITHUB_TOKEN}}