Skip to content
Doc Lint

Initial attempt at straightforward document processing script. #3251

Sign in to view logs

Initial attempt at straightforward document processing script.

Initial attempt at straightforward document processing script. #3251

Workflow file for this run

.github/workflows/doclint.yml at cb9875c
name: Doc Lint
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
jobs:
doclint:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Grep Lint
uses: ./.github/actions/greplint