nextgen-language-evangeliser/.github/workflows/idris2-abi.yml at main · hyperpolymath/nextgen-language-evangeliser · 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
# SPDX-License-Identifier: MPL-2.0
# Idris2 ABI typecheck — verifies the formally-typed seam (abi.ipkg) actually
# typechecks. Builds Idris2 v0.7.0 from source via Chez Scheme (the same path
# verified locally; the ABI typechecks clean under Idris2 0.7/0.8).
name: Idris2 ABI

on:
  pull_request:
    paths: ['abi.ipkg', 'src/interface/Abi/**', '.github/workflows/idris2-abi.yml']
  push:
    branches: [main, master]
    paths: ['abi.ipkg', 'src/interface/Abi/**', '.github/workflows/idris2-abi.yml']

permissions:
  contents: read

jobs:
  typecheck:
    name: idris2 --typecheck abi.ipkg
    runs-on: ubuntu-latest
    timeout-minutes: 30
    steps:
      - name: Checkout repository
        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

      - name: Install Chez Scheme + build tools
        run: |
          sudo apt-get update -qq
          sudo DEBIAN_FRONTEND=noninteractive apt-get install -y -qq \
            chezscheme make gcc libgmp-dev

      - name: Build Idris2 v0.7.0 from source
        run: |
          git clone --branch v0.7.0 --depth 1 \
            https://github.com/idris-lang/Idris2.git "$HOME/Idris2"
          cd "$HOME/Idris2"
          make bootstrap SCHEME=chezscheme
          make install
          echo "$HOME/.idris2/bin" >> "$GITHUB_PATH"

      - name: Typecheck the ABI
        run: |
          idris2 --version
          idris2 --typecheck abi.ipkg