pull-request-lint

chore(deps): update by cdktf/cdktf-repository-manager@8e4496f #2619

Sign in to view logs

Triggered via pull request October 9, 2023 11:26

synchronize #1681

Status Success

Total duration 12s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pull-request-lint.yml

on: pull_request_target

Validate PR title