tjh.dev
1name: Push
2
3on:
4 pull_request:
5 paths:
6 - .github/workflows/push.yml
7 # eval is tested via pr.yml
8 push:
9 # Keep this synced with ci/request-reviews/dev-branches.txt
10 branches:
11 - master
12 - staging
13 - release-*
14 - staging-*
15 - haskell-updates
16 - python-updates
17
18permissions: {}
19
20jobs:
21 prepare:
22 runs-on: ubuntu-24.04-arm
23 outputs:
24 systems: ${{ steps.systems.outputs.systems }}
25 steps:
26 - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
27 with:
28 sparse-checkout: |
29 ci/supportedSystems.json
30
31 - name: Load supported systems
32 id: systems
33 run: |
34 echo "systems=$(jq -c <ci/supportedSystems.json)" >> "$GITHUB_OUTPUT"
35
36 eval:
37 name: Eval
38 needs: [prepare]
39 uses: ./.github/workflows/eval.yml
40 # Those are not actually used on push, but will throw an error if not set.
41 permissions:
42 # compare
43 issues: write
44 pull-requests: write
45 statuses: write
46 with:
47 mergedSha: ${{ github.sha }}
48 systems: ${{ needs.prepare.outputs.systems }}