Add Verifier datatype;move SigCapability to separate module #209
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build project | |
| on: push | |
| jobs: | |
| build: | |
| name: Build master with ${{ matrix.ghc }} / ${{ matrix.cabal }} on ${{ matrix.os }} | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| ghc: ['8.6.5', '8.8.2'] | |
| cabal: ['3.0'] | |
| os: ['ubuntu-20.04', 'ubuntu-22.04', 'macOS-latest'] | |
| steps: | |
| # Setup | |
| - name: Checkout repository | |
| uses: actions/checkout@v1 | |
| # Haskell Setup | |
| - name: Install GHC and Cabal | |
| uses: haskell/actions/setup@v1.2.3 | |
| with: | |
| ghc-version: ${{ matrix.ghc }} | |
| cabal-version: ${{ matrix.cabal }} | |
| - name: Confirm GHC and Cabal installation | |
| run: | | |
| ghc --version | |
| cabal --version | |
| # # Haskell Setup | |
| # - name: Install Haskell (ubuntu) | |
| # if: contains(matrix.os, 'ubuntu') | |
| # run: | | |
| # sudo add-apt-repository ppa:hvr/ghc | |
| # sudo apt-get update | |
| # sudo apt-get install ghc-${{ matrix.ghc }} | |
| # - name: Install Haskell (macOS) | |
| # if: contains(matrix.os, 'macOS') | |
| # run: | | |
| # curl -sL https://haskell.futurice.com/haskell-on-macos.py | python3 - --make-dirs --paths.d --ghc-alias=${{ matrix.ghc }} --cabal-alias=3.0.0.0 install ghc-${{ matrix.ghc }} cabal-install-3.0.0.0 | |
| # ln -s /opt/cabal/3.0.0.0 /opt/cabal/3.0 | |
| # - name: Set GHC and Cabal version (ubuntu, macOS) | |
| # uses: actions/setup-haskell@v1.2.3 | |
| # with: | |
| # ghc-version: ${{ matrix.ghc }} | |
| # cabal-version: ${{ matrix.cabal }} | |
| # Build | |
| - name: Update package database | |
| run: cabal v2-update | |
| - name: List installed packages | |
| run: ghc-pkg list | |
| - name: Install build dependencies | |
| run: cabal v2-build --only-dependencies | |
| - name: Build | |
| run: cabal v2-build | |
| - name: Test | |
| run: cabal v2-test | |