Skip to content

Add support for pinning actors to a dedicated scheduler thread #378

Add support for pinning actors to a dedicated scheduler thread

Add support for pinning actors to a dedicated scheduler thread #378

name: Lint GitHub Action Workflows
on: pull_request
concurrency:
group: lint-actions-${{ github.ref }}
cancel-in-progress: true
jobs:
lint:
name: Lint
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4.1.1
- name: Check workflow files
uses: docker://ghcr.io/ponylang/shared-docker-ci-actionlint:20240224
with:
args: -color