Merge pull request #475 from dodona-edu/fix/output #877
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 -n auto --cov=tested --cov-report=xml 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: actions/setup-python@v4 | |
with: | |
python-version: 3.11.2 | |
cache: 'pipenv' | |
- run: pip install pipenv | |
- run: pipenv install --dev | |
- run: echo "$(pipenv --venv)/bin" >> $GITHUB_PATH | |
- uses: jakebailey/pyright-action@v1 | |
with: | |
version: '1.1.316' | |
warnings: true | |
working-directory: tested/ |