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

build(deps): bump aws-cdk-lib from 2.111.0 to 2.116.1 in /infra #2100

build(deps): bump aws-cdk-lib from 2.111.0 to 2.116.1 in /infra

build(deps): bump aws-cdk-lib from 2.111.0 to 2.116.1 in /infra #2100

Workflow file for this run

name: 'pr-target'
on:
pull_request_target:
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@v1
- 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}}