Skip to content

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

docs: Use intersphinx_registry to keep intersphinx urls up to date

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

Workflow file for this run

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