Revision a04f6ec117ec966d489238e0e95fea58e5b80bd0 authored by Jan de Muijnck-Hughes on 22 May 2020, 09:03:53 UTC, committed by GitHub on 22 May 2020, 09:03:53 UTC
Add proofs for red-black properties and black height.
.travis.yml
language: C
sudo: false
branches:
only:
- master
addons:
apt:
packages:
- cabal-install-2.0
- ghc-8.2.2
sources:
- hvr-ghc
cache:
directories:
- $HOME/.cabal/
- $HOME/.ghc/
install:
- export PATH=$HOME/.cabal/bin:/opt/ghc/8.2.2/bin:/opt/cabal/2.0/bin:$PATH
- cabal update
- sed -i 's/^jobs:/-- jobs:/' $HOME/.cabal/config
- cabal install -f FFI -f LLVM -f GMP idris
script:
- idris --testpkg containers.ipkg
- idris --testpkg containers-test.ipkg
Computing file changes ...