diff --git a/.travis.yml b/.travis.yml index 9560ab0..bea74e7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,6 +22,3 @@ install: - scripts/travis_install_z3.sh script: - scripts/travis_test.sh -notifications: - slack: - secure: PBBiv8JhFZFzUO/mSDUa/6jSK8ndweNDvxi+Qh1BtZAzVNQu3CZQgluq2IEfGD0w+6eUo5UVsA5sfxjAPF3TB+OsCyr/waWNzFR4GXkzng31EBzyYorZxJIMCHGGwsH7PQaJus0La5st2LmfLLRxh7V9cJ8aUmUNTHPuv6fb7qcoKTi1AxUxQsDi+Lfo5byTSNmShVCWwft01aTFtDntpRs97KB2MopUH8vgriYaRZEMSwtxvq79MI2J/aaUzzE3qgopWG3bvhOjajrFi0L2EVRIy9hT+FZFeeRc0/X0ZX1gT48W5+5lXSVUPuF9+TI/RRmkYPoaqw7yM8MiuAfQrZIAJc9nMlgA/I+lZhjOgp0ybV3qKkmiJHNc6NtMniLBles4POMmz5iu3FJITXb0/TQg+hhR2/m8rzOHY2MjTpf0AtKdFBaxOGTvmMoTvlg/Z46x4ZolWkAsTy/eG+C/PlIxXZVIUnKCGPDkpKofR9AamVHu4Ibly8JKKmnZoTtKnkvA+m54szc07GzITJ9ut5yA/3P54TZzgGz1sNh97dH7eMjS1q+cgNdMITOAV3DupZwN6LKm6dC5fbCT5kPRv/Cb0iJfQXWx3oekKdfAI4w39PYYTE/uJql1WMQctNRvA0XrZlKKnvIYeH8NWV/DXlJ8cerPJ4g/GiNoOuVYCQQ=