Skip to content

hard code RESUME. Make sure opmaps are sorted by ID #262

hard code RESUME. Make sure opmaps are sorted by ID

hard code RESUME. Make sure opmaps are sorted by ID #262

Workflow file for this run

name: Lint
on: [push, pull_request, workflow_dispatch]
permissions:
contents: read
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
lint:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: "3.x"
- uses: pre-commit/[email protected]