enso/.github/workflows/engine-pull-request.yml at ca121503b29ab7f45d3bd64a11e46c9e19426097 · enso-org/enso · 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
# This file is not auto-generated. Feel free to edit it.

name: ✨ Engine

on:
  push:
    branches:
      - develop
  pull_request:

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}-engine-pull-request
  cancel-in-progress: ${{ github.ref != 'refs/heads/develop' }}

permissions:
  checks: write
  pull-requests: write

jobs:
  engine-changed-files:
    name: 🔍 Files Changed
    uses: ./.github/workflows/engine-changed-files.yml
    secrets: inherit

  engine-checks:
    name: ⚙️ Checks
    uses: ./.github/workflows/engine-checks.yml
    needs: [engine-changed-files]
    if: needs.engine-changed-files.outputs.any_changed == 'true' || github.ref == 'refs/heads/develop'
    secrets: inherit

  stdlib-api-changes-label:
    name: 🏷 Append labels to PR
    uses: ./.github/workflows/std-libs-labels.yml
    secrets: inherit

  required-checks:
    name: Engine Required Checks
    runs-on: ubuntu-latest
    needs: [engine-changed-files, engine-checks, stdlib-api-changes-label]
    if: always()
    steps:
      - name: Checks Summary
        run: |
          echo "Engine Checks: ${{ needs.engine-checks.result }}"

          any_changed='${{ needs.engine-changed-files.outputs.any_changed }}'

          case '${{ needs.engine-checks.result }}' in
            'failure')
              exit 1
              ;;
            'skipped' | 'cancelled')
              if [[ "$any_changed" == 'true' ]]; then
                exit 1
              fi
              ;;
          esac

          echo "Success!"