Skip to content

Add GitHub edit link generation for documentation pages #194

Add GitHub edit link generation for documentation pages

Add GitHub edit link generation for documentation pages #194

Workflow file for this run

name: License headers
on: [ pull_request ]
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check license headers
run: |
./.github/check-license-headers.sh