Skip to content

remove keelung tests from CI for now #102

remove keelung tests from CI for now

remove keelung tests from CI for now #102

Workflow file for this run

name: Haskell CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
permissions:
contents: read
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
steps:
- uses: actions/checkout@v3
- uses: haskell-actions/setup@v2
with:
ghc-version: '9.2.5'
cabal-version: '3.6.2'
# install z3
- name: Setup Z3
id: z3
uses: cda-tum/setup-z3@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- 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 }}-
- 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 fast tests
run: cabal test salsa20-fast-unit-tests
- name: Run ECRYPT 128 bits key size tests
run: cabal test salsa20-ecrypt128-tests
- name: Run ECRYPT 256 bits key size tests
run: cabal test salsa20-ecrypt256-tests
- name: Run display tests
run: cabal test salsa20-display-unit-tests
# Error in ubuntu: The version of the Keelung compiler is not supported, disabling test.
#- name: Run keelung tests
# # Error in macos: Cannot locate the Keelung compiler
# if: matrix.os == 'ubuntu-latest'
# run: cabal test salsa20-keelung-unit-tests