Commit Graph

35 Commits

Author SHA1 Message Date
Mathias Baumann
98b7dc2881 Change emscripten default build dir to "emscriptenBuild"
Avoids complications with local build directory when building.
2019-02-27 12:30:15 +01:00
chriseth
6029c9f17a Skip brew update and upgrade. 2019-02-21 12:14:45 +01:00
Alex Beregszaszi
62f707610e Run clang tests with ASAN 2019-02-07 18:59:40 +01:00
Alex Beregszaszi
e696cc4d3b
Merge pull request #5911 from ethereum/cxx17-circleci
Build using C++17 on CircleCI
2019-02-05 15:48:43 +00:00
Alex Beregszaszi
70748af981 Do not persist output for clang7 build step 2019-02-05 14:23:59 +00:00
Daniel Kirchner
f56ab1c2e7 Enable cvc4 for C++17 build by switching to Ubuntu disco. 2019-02-05 14:22:36 +00:00
Alex Beregszaszi
6adabf37d1 Build using C++17 on CircleCI 2019-02-05 14:22:33 +00:00
Leonardo Alt
3790f5fe0e Use CVC4 instead of Z3 for Ubuntu CI tests 2019-01-29 14:01:42 +01:00
Alex Beregszaszi
272566ac93 CircleCI: always rebuilt boost cache after emscripten udpate 2019-01-18 17:03:50 +00:00
Alex Beregszaszi
a582f0bec1 Update to emscripten 1.38.22 2019-01-18 16:49:21 +00:00
Daniel Kirchner
5baac8470b Use emscripten 1.38.8 on both travis and circle. 2019-01-17 18:31:34 +01:00
Christian Parpart
b7eaa4f8d3
Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly. 2019-01-14 16:10:26 +01:00
Daniel Kirchner
c265bc4c0d Update to boost 1.68 for emscripten builds. 2019-01-07 13:30:49 +01:00
chriseth
5066424758 Build in release mode. 2018-12-18 16:20:02 +01:00
chriseth
9939697e1f Do not use nvm. 2018-12-14 23:47:47 +01:00
chriseth
8ec66bcab6 Disable coverage generation for release branch. 2018-11-28 17:25:43 +01:00
Daniel Kirchner
119aa107da Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle. 2018-11-21 15:24:20 +01:00
Alex Beregszaszi
3e5664841c Revert "Disable covereage cmake option"
This reverts commit 5effc0eeb9.
2018-11-14 12:56:13 +00:00
chriseth
b7a23ee169
Merge pull request #5373 from ethereum/archlinuxCI
Add archlinux run on circleci for testing against current versions of deps.
2018-11-14 11:44:42 +01:00
Alex Beregszaszi
74553efb69 Build with LLL on CircleCI 2018-11-13 23:51:17 +00:00
Daniel Kirchner
6f13647923 Only run soltest with --no-ipc. 2018-11-09 11:43:52 +01:00
Daniel Kirchner
d33d4b02a9 Add archlinux run on circleci. 2018-11-08 19:20:06 +01:00
mordax
5effc0eeb9 Disable covereage cmake option 2018-11-03 15:31:15 -04:00
chriseth
0d1b4d6f33 Add clang7 build step 2018-10-16 14:49:51 +02:00
chriseth
e62343c60b Store test results as artifacts. 2018-10-11 17:01:06 +02:00
chriseth
8806f449af Try newer version of xcode for MacOS. 2018-10-02 16:41:14 +02:00
liangdzou
982d883a88 enhance test_trailing_whitespace to test_check_style: several format rules for if/for are introduced 2018-09-20 21:31:16 +08:00
Leonardo Alt
9927964d21 Buglist check script supports json paths 2018-09-06 18:42:21 +02:00
Daniel Kirchner
1cd96b2dc4 Trailing whitespace detection script and circleci job. 2018-09-04 17:36:47 +02:00
Leonardo Alt
55e67e41f9 Update bug list and add regular expression to bug list and add test. 2018-08-14 15:57:38 +02:00
Paweł Bylica
3f2539de04
Add codecov config 2018-08-07 12:54:05 +02:00
Paweł Bylica
a1d3e72bb5
Circle CI: Upload coverage data 2018-07-24 17:12:42 +02:00
Paweł Bylica
721b7bbf70
Circle CI: Add full build dir to the workspace on Linux 2018-07-24 16:51:09 +02:00
Cryptomental
d454cec1bd circleci: Integrate codespell.
Run codespell against documentation and during Linux test run.
Use codespell_whitelist.txt dictionary to whitelist words that
should not be considered as misspelled.

Currently whitelist "iff" and "nd".

Refs: #4442
2018-07-10 22:57:50 +02:00
Erik Kundt
f06ab89953 Moves Circle config to conform version 2.0. 2018-06-29 12:31:18 +02:00