Security: pin external github actions
This commit is contained in:
parent
e6d84019a5
commit
865b0bc44f
2 changed files with 2 additions and 2 deletions
|
@ -19,7 +19,7 @@ runs:
|
||||||
shell: bash
|
shell: bash
|
||||||
|
|
||||||
- name: REUSE compliance check
|
- name: REUSE compliance check
|
||||||
uses: fsfe/reuse-action@v2
|
uses: fsfe/reuse-action@952281636420dd0b691786c93e9d3af06032f138
|
||||||
|
|
||||||
- name: create generated dir
|
- name: create generated dir
|
||||||
run: mkdir ./assets/generated
|
run: mkdir ./assets/generated
|
||||||
|
|
2
.github/workflows/deploy_pietervdvn.yml
vendored
2
.github/workflows/deploy_pietervdvn.yml
vendored
|
@ -89,7 +89,7 @@ jobs:
|
||||||
env:
|
env:
|
||||||
TARGET_BRANCH: ${{ env.TARGET_BRANCH }}
|
TARGET_BRANCH: ${{ env.TARGET_BRANCH }}
|
||||||
|
|
||||||
- uses: mshick/add-pr-comment@v1
|
- uses: mshick/add-pr-comment@a96c578acba98b60f16c6866d5f20478dc4ef68b
|
||||||
name: Comment the PR with the review URL
|
name: Comment the PR with the review URL
|
||||||
if: ${{ success() && github.ref != 'refs/heads/develop' && github.ref != 'refs/heads/master' }}
|
if: ${{ success() && github.ref != 'refs/heads/develop' && github.ref != 'refs/heads/master' }}
|
||||||
with:
|
with:
|
||||||
|
|
Loading…
Reference in a new issue