Add type checker to GA #757
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [ push ] | |
| jobs: | |
| test: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.11.2 | |
| cache: 'pipenv' | |
| - run: pip install pipenv | |
| - run: pipenv install --dev | |
| - uses: actions/setup-java@v3 | |
| with: | |
| distribution: 'temurin' | |
| java-version: '17' | |
| - uses: haskell/actions/setup@v2 | |
| with: | |
| ghc-version: '9.2' | |
| cabal-version: '3.6' | |
| - uses: actions/cache@v3 | |
| name: Cache cabal | |
| with: | |
| path: | | |
| ~/.cabal | |
| ~/.ghc | |
| dist-newstyle | |
| key: ${{ runner.os }}-ghc-9.2.1-20220111 | |
| restore-keys: | | |
| ${{ runner.os }}-ghc-9.2.1- | |
| - run: cabal v1-install aeson | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: 16 | |
| - run: npm install abstract-syntax-tree@2.20 | |
| - run: npm install -g eslint@8.36 | |
| - run: sudo apt -y install hlint cppcheck shellcheck checkstyle | |
| - run: curl -sSLO https://github.com/pinterest/ktlint/releases/download/0.48.2/ktlint && chmod a+x ktlint | |
| - run: echo "${GITHUB_WORKSPACE}" >> $GITHUB_PATH | |
| - run: pipenv run pytest --cov=tested tests/ | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v3 | |
| lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: isort/isort-action@v1.0.0 | |
| with: | |
| sortPaths: "./tested ./tests" | |
| - uses: psf/black@stable | |
| with: | |
| version: "~= 23.0" | |
| src: "./tested ./tests" | |
| types: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: jakebailey/pyright-action@v1 | |
| with: | |
| version: '1.1.316' | |
| warnings: true | |
| working-directory: tested/ | |