WebSVF/.github/workflows/format.yml at master · SVF-tools/WebSVF · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
name: Lint and Format Check

on:
  push:
    branches:
        - master
  pull_request:
    branches:
        - master

jobs:
  lint-format:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Set up Node.js
        uses: actions/setup-node@v4
        with:
          node-version: 20
          cache: npm
          cache-dependency-path: package-lock.json

      - name: Install dependencies
        run: npm ci

      - name: Run project validation
        run: npm run validate

  python-lint-type:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Check if API directory exists
        id: check_api
        run: |
          if [ -d "api" ]; then
            echo "api_exists=true" >> $GITHUB_OUTPUT
          else
            echo "api_exists=false" >> $GITHUB_OUTPUT
          fi

      - name: Set up Python
        if: steps.check_api.outputs.api_exists == 'true'
        uses: actions/setup-python@v5
        with:
          python-version: '3.11'

      - name: Install Python tooling
        if: steps.check_api.outputs.api_exists == 'true'
        run: |
          python -m pip install --upgrade pip
          pip install ruff mypy

      - name: Ruff (lint)
        if: steps.check_api.outputs.api_exists == 'true'
        working-directory: ./api
        run: ruff check .

      - name: Mypy (type-check)
        if: steps.check_api.outputs.api_exists == 'true'
        working-directory: ./api
        run: mypy .