logic/.github/workflows/haskell.yml at main · lambda-land/logic · 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
99
100
101
102
103
104
105
name: Haskell CI

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

permissions:
  contents: read

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v3

      - name: Set up GHC
        uses: haskell-actions/setup@v2
        id: setup
        with:
          ghc-version: 'latest'
          cabal-version: 'latest'
          # ghc-version: '9.2.7'
          # cabal-version: '3.6'
          cabal-update: true

      - name: Configure the build
        run: |
          cabal configure --enable-tests --enable-benchmarks --disable-documentation
          cabal build --dry-run
          mkdir ${{ steps.setup.outputs.cabal-store }}
        # The last step generates dist-newstyle/cache/plan.json for the cache key.

      - name: Restore cached dependencies
        uses: actions/cache/restore@v3
        id: cache
        env:
          key: ${{ runner.os }}-ghc-${{ steps.setup.outputs.ghc-version }}-cabal-${{ steps.setup.outputs.cabal-version }}
        with:
          path: ${{ steps.setup.outputs.cabal-store }}
          key: ${{ env.key }}-plan-${{ hashFiles('**/plan.json') }}
          restore-keys: ${{ env.key }}-

      - name: Install dependencies
        run: cabal build all --only-dependencies

      # Cache dependencies already here, so that we do not have to rebuild them should the subsequent steps fail.
      - name: Save cached dependencies
        uses: actions/cache/save@v3
        # Caches are immutable, trying to save with the same key would error.
        if: ${{ steps.cache.outputs.cache-primary-key != steps.cache.outputs.cache-matched-key }}
        with:
          path: ${{ steps.setup.outputs.cabal-store }}
          key: ${{ steps.cache.outputs.cache-primary-key }}

      - name: Build
        run: cabal build all

      - name: Run tests
        run: cabal test all

      # - name: Check cabal file
      #   run: cabal check

      - name: Build documentation
        run: cabal haddock all

    # steps:
    # - uses: actions/checkout@v3

    # - name: Cache
    #   uses: actions/cache@v3
    #   env:
    #     cache-name: cache-cabal
    #   with:
    #     path: ~/.cabal
    #     key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/*.cabal') }}-${{ hashFiles('**/cabal.project') }}
    #     restore-keys: |
    #       ${{ runner.os }}-build-${{ env.cache-name }}-
    #       ${{ runner.os }}-build-
    #       ${{ runner.os }}-

    # - uses: haskell-actions/setup@v2
    #   id: haskell-setup
    #   with:
    #     ghc-version: 9.2.7
    #     cabal-version: 3.6.2.0

    # - name: Install dependencies
    #   run: |
    #     cabal update
    #     cabal build --only-dependencies --enable-tests --enable-benchmarks
    # - name: Build
    #   run: cabal build --enable-tests --enable-benchmarks all
    # - name: Run tests
    #   run: cabal test all
    # - name: Build Docs
    #   run: |
    #     cabal install haddock
    #     cabal haddock
    #     echo ${{ runner.os }}
    #     cp -a dist-newstyle/build/aarch64-osx/ghc-9.2.7/logic-0.1.0.0/doc/html/logic/. docs/