Skip to content

read old index.pidx to obtain URL before using the default #3

read old index.pidx to obtain URL before using the default

read old index.pidx to obtain URL before using the default #3

Workflow file for this run

name: check copyright
on:
pull_request:
paths:
- '.github/workflows/check-copyright.yml'
- '.pre-commit-config.yaml'
- 'scripts/check_copyright_notice.py'
- '**/*.go'
- '!**/docs/**/*'
- '!**/*.md'
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
copyright:
runs-on: ubuntu-latest
steps:
- name: Harden Runner
uses: step-security/harden-runner@0634a2670c59f64b4a01f0f96f84700a4088b9f0 # v2.12.0
with:
egress-policy: audit
- name: Checkout devtools
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
- name: Check copyright notice
run: |
pip install \
pre-commit \
comment-parser>=1.2.3
pre-commit run --all-files