mirror of
https://github.com/anchore/syft.git
synced 2025-11-17 16:33:21 +01:00
2a409488a0
Bumps [marocchino/sticky-pull-request-comment](https://github.com/marocchino/sticky-pull-request-comment) from 2.9.1 to 2.9.2.
- [Release notes](https://github.com/marocchino/sticky-pull-request-comment/releases)
- [Commits](52423e0164...67d0dec7b0)
---
updated-dependencies:
- dependency-name: marocchino/sticky-pull-request-comment
dependency-version: 2.9.2
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
55 lines
2.0 KiB
YAML
55 lines
2.0 KiB
YAML
name: "Detect schema changes"
|
|
|
|
on:
|
|
# IMPORTANT! This workflow is triggered by the `pull_request_target` event
|
|
# which means that forked PRs will run with access secrets from the repo
|
|
# it's forked from (the "target" repo).
|
|
#
|
|
# For this reason we only NEVER checkout the code from the pull request
|
|
# (e.g. "ref: ${{ github.event.pull_request.head.sha }}") to prevent
|
|
# accidentally running potentially untrusted code.
|
|
#
|
|
# By default the checkout will be:
|
|
# - GITHUB_SHA: Last commit on the PR base branch
|
|
# - GITHUB_REF: PR base branch
|
|
#
|
|
# ...unlike a typical PR where:
|
|
# - GITHUB_SHA: Last merge commit on the GITHUB_REF branch
|
|
# - GITHUB_REF: PR merge branch refs/pull/:prNumber/merge
|
|
pull_request_target:
|
|
|
|
env:
|
|
# note: this is used within hashFiles() so must be within the GITHUB_WORKSPACE path (or will silently fail)
|
|
CI_COMMENT_FILE: .tmp/labeler-comment.txt
|
|
# needs to be any string to uniquely identify the comment on a PR across multiple runs
|
|
COMMENT_HEADER: "label-commentary"
|
|
|
|
jobs:
|
|
label:
|
|
name: "Label changes"
|
|
runs-on: ubuntu-22.04
|
|
steps:
|
|
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 #v4.2.2
|
|
|
|
- run: python .github/scripts/labeler.py
|
|
env:
|
|
# note: this token has write access to the repo
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
GITHUB_PR_NUMBER: ${{ github.event.number }}
|
|
|
|
- name: Delete existing comment
|
|
if: ${{ hashFiles( env.CI_COMMENT_FILE ) == '' }}
|
|
uses: marocchino/sticky-pull-request-comment@67d0dec7b07ed060a405f9b2a64b8ab319fdd7db #v2.9.2
|
|
with:
|
|
header: ${{ env.COMMENT_HEADER }}
|
|
hide: true
|
|
hide_classify: "OUTDATED"
|
|
|
|
- name: Add comment
|
|
if: ${{ hashFiles( env.CI_COMMENT_FILE ) != '' }}
|
|
uses: marocchino/sticky-pull-request-comment@67d0dec7b07ed060a405f9b2a64b8ab319fdd7db #v2.9.2
|
|
with:
|
|
header: ${{ env.COMMENT_HEADER }}
|
|
path: ${{ env.CI_COMMENT_FILE }}
|