Skip to content

docs: rename resume to start and pause to stop for 5.0 #68

docs: rename resume to start and pause to stop for 5.0

docs: rename resume to start and pause to stop for 5.0 #68

name: CI - File health
on: [pull_request, push]
permissions: {}
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: ${{ github.head_ref != '' }}
jobs:
ci:
name: Check
runs-on: ubuntu-latest
permissions:
security-events: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Install tools
uses: actions/setup-python@v5
with:
python-version: "*"
- name: Check files
uses: pre-commit/[email protected]
- name: Check GitHub Actions workflow
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
pip install zizmor
zizmor \
--format sarif \
--pedantic \
./ \
| jq '(.runs[].results |= map(select(.ruleId != "unpinned-uses")))
| (.runs[].tool.driver.rules |= map(select(.id != "unpinned-uses")))' \
> "${{ runner.temp }}/zizmor_results.sarif"
- name: Upload zizmor results
uses: github/codeql-action/upload-sarif@v3
with:
category: zizmor
sarif_file: "${{ runner.temp }}/zizmor_results.sarif"