Skip to content

introduce keelung for compiling into R1CS #68

introduce keelung for compiling into R1CS

introduce keelung for compiling into R1CS #68

Workflow file for this run

name: Haskell CI
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
permissions:
contents: read
jobs:
build:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/checkout@v3
- uses: actions/setup-haskell@v1
with:
ghc-version: '8.10.3'
cabal-version: '3.2'
- 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