Revision 62e9c579fb8cbe7c13b1f969eca4de4ec3984102 authored by Ranjit Jhala on 12 February 2019, 04:04:53 UTC, committed by Ranjit Jhala on 12 February 2019, 04:04:53 UTC
1 parent 43076c4
config.yml
---
version: 2.0
jobs:
build:
docker:
- image: fpco/stack-build:lts-12.2
steps:
- add_ssh_keys
- run: apt-get install z3
- checkout
- restore_cache:
keys:
- stack-{{ checksum "stack.yaml" }}
- run:
name: Dependencies
command: |
stack setup
stack build liquid-fixpoint --only-dependencies --test --no-run-tests
- save_cache:
key: stack-{{ checksum "stack.yaml" }}
paths:
- ~/.stack
- ./.stack-work
- run:
name: Compile
command : |
stack build liquid-fixpoint --flag liquid-fixpoint:devel
stack build liquid-fixpoint --flag liquid-fixpoint:devel --test --no-run-tests
- run:
name: Test
command: |
stack clean
mkdir -p /tmp/junit
stack test liquid-fixpoint:test --flag liquid-fixpoint:devel --test-arguments="--xml=/tmp/junit/main-test-results.xml":
stack haddock
stack sdist
# mkdir -p $CIRCLE_TEST_REPORTS/tasty
# cp -r tests/logs/cur $CIRCLE_TEST_REPORTS/tasty/log
- run:
name: Dist
command: stack sdist
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...