purescript-lua-package-sets/.github/workflows/test-set.yml at master · purescript-lua/purescript-lua-package-sets · 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
name: Test set

# Coherence check for the whole set. Builds a project that depends on every
# package (test/spago.dhall) against `upstream-ps // ./src/packages.dhall`,
# using a SINGLE current toolchain (purs + spago from the pslua compiler's
# dev shell). A red run means the pinned package versions do not compile
# together.
#
# This deliberately does NOT enter each package's own flake: that rebuilt the
# compiler revision frozen in every tag's flake.lock (cache-miss roulette on
# historical haskell.nix), which tests dev-env reproducibility, not the set.
# Per-package backend/FFI codegen is covered by the pslua compiler's own test
# suite; here we only need that the sources type-check together.

on:
  push:
    branches: [master]
  pull_request:
  workflow_dispatch:
    inputs: {}

jobs:
  test:
    runs-on: ubuntu-latest
    permissions:
      contents: read
    steps:
      # Reclaim runner disk for the Nix store: the GHC/purs closures exhaust
      # the default ~14 GB free space. Pinned to the v10 SHA — `@main` is a
      # mutable ref; this action is composite bash (auditable) and this job
      # carries no push secrets (cachix is pull-only, token is read-only).
      - name: Free up disk space
        uses: wimpysworld/nothing-but-nix@687c797a730352432950c707ab493fcc951818d7

      - uses: actions/checkout@v4

      - uses: cachix/install-nix-action@v27
        with:
          extra_nix_config: |
            extra-substituters = https://cache.iog.io https://purescript-lua.cachix.org
            extra-trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= purescript-lua.cachix.org-1:yLs4ei2HtnuPtzLekOrW3xdfm95+Etw15gwgyIGTayA=

      - uses: cachix/cachix-action@v14
        with:
          name: purescript-lua

      - name: Build the whole set with one toolchain
        run: |
          nix develop github:purescript-lua/purescript-lua --accept-flake-config \
            -c bash -c 'cd test && spago build -u "-g corefn"'

  # The README package table is generated from src/packages.dhall; guard against
  # hand-edits / forgotten regeneration so it cannot drift out of sync again.
  readme-table:
    runs-on: ubuntu-latest
    permissions:
      contents: read
    steps:
      - uses: actions/checkout@v4
      - uses: cachix/install-nix-action@v27
      - name: README package table is in sync with src/packages.dhall
        run: ./scripts/gen-readme-table.sh --check