GreynirEngine/.github/workflows/python-package.yml at master · mideind/GreynirEngine · 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
name: tests

on:
  # Run push CI on master only; branch work is covered by pull_request.
  # (Running push CI on all branches would duplicate every run - both
  # events fire for each push to a branch with an open PR.)
  push:
    branches: [ master ]
    paths-ignore: [ "**.md" ]
  pull_request:
    # Note: "**" is required to match branch names containing '/'
    branches: [ "**" ]
    paths-ignore: [ "**.md" ]

# A new push to a PR cancels its run in progress; master runs are never cancelled
concurrency:
  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
  cancel-in-progress: ${{ github.event_name == 'pull_request' }}

jobs:
  gate:
    # Skip the push run on master for a PR merge commit whose tree was
    # already tested by a successful pull_request run. That holds when
    # master's previous head (first parent) is an ancestor of the PR head
    # (second parent): the PR run then tested a merge with an even older
    # master commit, which also yields the PR head's tree, and so does
    # the merge commit. Direct pushes, squash merges and PRs that were
    # behind master get the full run.
    runs-on: ubuntu-latest
    permissions:
      actions: read
      contents: read
    outputs:
      skip: ${{ steps.check.outputs.skip }}
    steps:
    - id: check
      env:
        GH_TOKEN: ${{ github.token }}
        REPO: ${{ github.repository }}
        SHA: ${{ github.sha }}
        EVENT: ${{ github.event_name }}
      run: |
        skip=false
        if [ "$EVENT" = push ]; then
          set -- $(gh api "repos/$REPO/commits/$SHA" --jq '[.parents[].sha] | join(" ")')
          if [ $# -eq 2 ]; then
            status=$(gh api "repos/$REPO/compare/$1...$2" --jq .status)
            passed=$(gh api "repos/$REPO/actions/workflows/python-package.yml/runs?event=pull_request&head_sha=$2&status=success" --jq .total_count)
            echo "parents: $1 $2; compare: $status; successful PR runs: $passed"
            if { [ "$status" = ahead ] || [ "$status" = identical ]; } && [ "$passed" -gt 0 ]; then
              skip=true
            fi
          fi
        fi
        echo "skip=$skip" | tee -a "$GITHUB_OUTPUT"

  build:
    needs: gate
    if: needs.gate.outputs.skip != 'true'

    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        os: [ubuntu-latest]
        python-version: ["3.10", "3.11", "3.12", "3.13", "3.14", "pypy3.11"]
        # The Windows and macOS wheels are built from the same sources,
        # so test at least one Python version on each of those platforms
        include:
          - os: windows-latest
            python-version: "3.13"
          - os: macos-latest
            python-version: "3.13"

    steps:
    - uses: actions/checkout@v4
    - name: Install uv
      # Exact tag: setup-uv has no floating 'v8' major tag (unlike v6/v7)
      uses: astral-sh/setup-uv@v8.3.2
      with:
        python-version: ${{ matrix.python-version }}
    - name: Install GreynirEngine
      run: uv sync --locked
    - name: Lint with ruff
      run: uv run ruff check src/reynir
    - name: Type check with mypy
      # mypy is not installed on PyPy (see [dependency-groups] in pyproject.toml)
      if: ${{ !startsWith(matrix.python-version, 'pypy') }}
      run: uv run mypy src/reynir
    - name: Test with pytest
      run: uv run pytest
    - name: Slack notification
      uses: 8398a7/action-slack@v3
      with:
        status: ${{ job.status }}
        author_name: Integration Testing (Python ${{ matrix.python-version }})
      env:
        SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
      if: failure() # Pick up event if the job fails