Skip to content
Lint

docs: Use intersphinx_registry to keep intersphinx urls up to date #3880

Sign in to view logs

docs: Use intersphinx_registry to keep intersphinx urls up to date

docs: Use intersphinx_registry to keep intersphinx urls up to date #3880

Workflow file for this run

.github/workflows/lint.yml at 9cef667
name: Lint
on:
pull_request:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
lint:
name: Lint Codebase
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Lint Dockerfile
uses: hadolint/[email protected]
with:
dockerfile: docker/Dockerfile