Skip to content

Merge pull request #21 from herbie-fp/trig-exponent-calculation-fix #230

Merge pull request #21 from herbie-fp/trig-exponent-calculation-fix

Merge pull request #21 from herbie-fp/trig-exponent-calculation-fix #230

Workflow file for this run

name: Unit Tests
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: "Install Packages"
run: sudo apt-get install -y libmpfr6 libmpfr-dev
- name: "Install Racket"
uses: Bogdanp/setup-racket@v1.8
with:
version: stable
- uses: actions/checkout@master
- name: "Install dependencies"
run: raco pkg install --name rival --no-cache --auto
- run: raco test *.rkt