Skip to content

Bump piped from 44fca44 to 1bdcdb6 #1483

Bump piped from 44fca44 to 1bdcdb6

Bump piped from 44fca44 to 1bdcdb6 #1483

Workflow file for this run

name: Type check
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
push:
branches:
- master
pull_request:
branches:
- master
schedule:
- cron: "0 12 * * 6"
workflow_dispatch:
jobs:
type-check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
with:
submodules: "true"
- name: Install Python
uses: ./.github/actions/setup-py
- name: Run type checker
run: nox -s type-check