use circleci instead of travis #511

Merged
Plume_migration_agent merged 2 commits from circleci into master 2019-04-01 18:28:24 +00:00

2 commits

Author SHA1 Message Date
Baptiste Gelez
13f442c9e5
Delete test.sh 2019-04-01 19:06:15 +01:00
Trinity Pointard
1384a8f34d use circleci instead of travis
Upgrade rust-toolchain
Upgrade Tantivy
Warning: tantivy now use a different file format, search index may need to be deleted and recreated to work as intended
try to run compile twice in a row because sometime oomk is evil
2019-04-01 17:11:17 +02:00