Skip to content

Use allocation proposal in mergesort: unsafe make replaced with safe allocScratch #43

Use allocation proposal in mergesort: unsafe make replaced with safe allocScratch

Use allocation proposal in mergesort: unsafe make replaced with safe allocScratch #43

Workflow file for this run

name: Build lh-array-sort with liquid checking
# See: https://docs.github.com/en/actions/reference/workflow-syntax-for-github-actions#concurrency.
concurrency:
group: ${{ github.ref }}-${{ github.workflow }}
cancel-in-progress: true
on:
push:
paths-ignore:
- "**/README.md"
branches:
- main
pull_request:
paths-ignore:
- "**/README.md"
workflow_dispatch:
env:
CABAL_DIR: '/cabal-dir' # due to container; see top-level Dockerfile
jobs:
main:
runs-on: ubuntu-latest
container: ghcr.io/ulysses4ever/lh-array-sort
steps:
- uses: actions/checkout@v4
# See the following link for a breakdown of the following step
# https://github.com/haskell/actions/issues/7#issuecomment-745697160
- uses: actions/cache@v4
with:
# validate.sh uses a special build dir
path: |
${{ steps.setup-haskell.outputs.cabal-store }}
dist-*
key: ${{ runner.os }}-${{ matrix.ghc }}-${{ github.sha }}
restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-
- name: Build in liquid mode
run: |
cabal build lh-array-sort