Skip to content

docs: Merge pull request #1245 from svinota/p9-docs-asyncio #410

docs: Merge pull request #1245 from svinota/p9-docs-asyncio

docs: Merge pull request #1245 from svinota/p9-docs-asyncio #410

Workflow file for this run

name: Linter
on:
push:
branches: [ master ]
workflow_dispatch:
permissions:
contents: read
jobs:
build:
runs-on: Linux
steps:
- run: sudo chown -R $USER:$USER $GITHUB_WORKSPACE
- uses: actions/checkout@v4
- run: make nox session=linter