Pin docs actions to sha (#105)

This commit is contained in:
Moritz Eckert 2022-09-09 09:51:42 +02:00 committed by GitHub
parent cdc9eb5c36
commit 653b01499d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 22 additions and 23 deletions

View File

@ -16,10 +16,10 @@ jobs:
linkChecker: linkChecker:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@7884fcad6b5d53d10323aee724dc68d8b9096a2e
- name: Link Checker - name: Link Checker
uses: lycheeverse/lychee-action@v1.5.1 uses: lycheeverse/lychee-action@4a5af7cd2958a2282cefbd9c10f63bdb89982d76
with: with:
fail: true fail: true
env: env:

View File

@ -2,18 +2,18 @@ name: Create Pull Request for CLI reference update
on: on:
push: push:
branches: branches:
- action/constellation/update-cli-reference - action/constellation/update-cli-reference
jobs: jobs:
pull-request: pull-request:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v3 - uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
- name: pull-request - name: pull-request
uses: repo-sync/pull-request@v2 uses: repo-sync/pull-request@65785d95a5a466e46a9d0708933a3bd51bbf9dde
with: with:
destination_branch: "main" destination_branch: "main"
pr_title: "Update CLI reference" pr_title: "Update CLI reference"
pr_body: | pr_body: |
:robot: *This is an automated PR.* :robot: :robot: *This is an automated PR.* :robot:
github_token: ${{ secrets.GITHUB_TOKEN }} github_token: ${{ secrets.GITHUB_TOKEN }}

View File

@ -13,14 +13,13 @@ jobs:
prose: prose:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@master uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
- name: Vale
- name: Vale uses: errata-ai/vale-action@c4213d4de3d5f718b8497bd86161531c78992084
uses: errata-ai/vale-action@v1 with:
with: files: docs/docs
files: docs/docs env:
env: # Required, set by GitHub actions automatically:
# Required, set by GitHub actions automatically: # https://docs.github.com/en/actions/security-guides/automatic-token-authentication#about-the-github_token-secret
# https://docs.github.com/en/actions/security-guides/automatic-token-authentication#about-the-github_token-secret GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}