Commit Graph

234 Commits

Author SHA1 Message Date
Bhargava Shastry
aa26adc323 ossfuzz: Update ossfuzz docker image that now contains sanitized libgmp 2020-12-15 14:33:04 +01:00
Kamil Śliwak
893a5b6e60 Remove unused variables 2020-12-12 06:30:57 +01:00
Kamil Śliwak
81668eb26a soltest_all: Fix an error being printed to a file called 2 rather than to stderr 2020-12-12 06:30:57 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
66b15f24ad
Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions
[CI] Deduplicate external test job definitions
2020-12-10 11:58:52 +01:00
Daniel Kirchner
2e31a6bdbf Switch CI runs from EOL'ed eoan to focal. 2020-12-10 11:09:55 +01:00
Kamil Śliwak
b672c2fab7 Combine the t_ems_compile_ext and t_ems_test_ext job definitions 2020-12-09 13:12:40 +01:00
Kamil Śliwak
da17150bec Extract common parts from external job definitions into commands 2020-12-09 13:12:40 +01:00
Bhargava Shastry
e23cf26d98
Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly
CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI
2020-12-09 11:53:15 +01:00
chriseth
d2534e8208
Merge pull request #10466 from ethereum/run-external-tests-nightly
Running external tests nightly
2020-12-09 11:43:34 +01:00
Bhargava Shastry
047e706e7f CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI 2020-12-09 11:10:16 +01:00
Kamil Śliwak
e78b4af4c4 Run external tests that take more than 15 minutes only nightly and re-enable their gitter notifications 2020-12-07 20:41:46 +01:00
Daniel Kirchner
a3a5d93b34 Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it. 2020-12-07 18:18:41 +01:00
chriseth
8623e7fbe8
Merge pull request #10429 from ethereum/fix-and-enable-external-tests
Fix and enable external tests
2020-12-07 16:48:44 +01:00
Kamil Śliwak
1f55e9213b Disable flaky Gnosis v1 tests 2020-12-07 14:09:18 +01:00
Kamil Śliwak
9d1e0270cd Bump node.js version to 12 or 14 on external test jobs where possible 2020-12-07 14:09:18 +01:00
Kamil Śliwak
0c5d3c0cdf Add a job for executing external tests for ENS 2020-12-07 14:09:18 +01:00
Kamil Śliwak
70a2fc58b0 Add jobs and scripts running external tests for Gnosis v2 2020-12-07 14:09:18 +01:00
Kamil Śliwak
e05241adfc Update Colony, Gnosis and OpenZeppelin external tests to run on updated 0.7.x branches from solidity-external-tests 2020-12-07 14:09:18 +01:00
Kamil Śliwak
45c506a4ff Stop running external tests twice in CI 2020-12-07 14:00:14 +01:00
Kamil Śliwak
f737f66196 Temporarily disable gitter notifications for external tests 2020-12-07 14:00:14 +01:00
Kamil Śliwak
5b6e1560b3 Enable Colony, Gnosis and OpenZeppelin external tests in the main CI workflow 2020-12-07 14:00:14 +01:00
Kamil Śliwak
6383d64ef4 Upgrade the CircleCI job running bytecode comparison from node.js 10 to 14 2020-12-04 23:40:19 +01:00
chriseth
1944d5ce44
Merge pull request #9722 from ethereum/fix-9676
Add Solidity test case generator framework
2020-12-01 14:26:12 +01:00
Bhargava Shastry
d6ecedd16c External tests: Add ENS contracts 2020-11-30 13:53:28 +01:00
Kamil Śliwak
887569efd5
Merge pull request #10339 from ethereum/update-circleci-config
[ci] .circleci/config.yml: use docker images containing hera v0.3.2.
2020-11-27 20:07:05 +01:00
Alexander Arlt
3c7dd8d9b0 [ci] .circleci/config.yml: use docker images containing hera v0.3.2. 2020-11-26 19:40:24 -05:00
Alexander Arlt
46844d433d buildpack-deps: Update hera to 0.3.2. 2020-11-26 18:28:17 -05:00
Bhargava Shastry
864458922a Add solidity generator
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2020-11-23 22:27:40 +01:00
Alexander Arlt
fee871775b [ci] Add check to detect broken symlinks. 2020-11-18 19:18:06 -05:00
Kamil Śliwak
5560239cf5 Replace links to readthedocs.io with ones using the new domain 2020-11-18 15:20:34 +01:00
chriseth
3654dccb96 Disable travis. 2020-10-19 18:06:30 +02:00
chriseth
6c9db334c6
Merge pull request #9937 from ethereum/staticReleaseBuild
Static release build.
2020-10-19 10:41:49 +02:00
Daniel Kirchner
8e42015dd3 Fix windows builds. 2020-10-16 11:48:50 +02:00
Daniel Kirchner
9aafb62e52
Merge pull request #10050 from ethereum/circleWinTestResults
Store test results on CircleCI's t_win for proper reporting.
2020-10-15 20:40:37 +02:00
Daniel Kirchner
e91baeef37 Store test results on CircleCI's t_win for proper reporting. 2020-10-15 19:11:17 +02:00
Daniel Kirchner
f649565615 Switch to new ossfuzz docker image. 2020-10-15 17:45:02 +02:00
Daniel Kirchner
a7b8ad311d Always build a windows release binary on tags. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
8075d6c7e8 Persist osx workspace files in different path to avoid conflicts. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
30d990f07c Persist less data to workspaces. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
9726ed8586 Perform bytecode comparison on CircleCI. 2020-10-15 00:48:56 +02:00
Daniel Kirchner
f7e5831afc Remove .circleci/config.yml from cache keys and move cache check to install_deps script. 2020-10-14 23:20:09 +02:00
Daniel Kirchner
7ccf11c2b5 Reuse CircleCI osx cache across branches. 2020-10-14 20:38:47 +02:00
Alexander Arlt
d38eb75fb5 [circleci] Enable ewasm tests. 2020-10-01 13:21:39 -05:00
chriseth
1d2130c6d1 Static release build. 2020-09-30 17:26:25 +02:00
Leonardo Alt
11fc924d23 Split SMTCheckerTests in CI 2020-09-24 13:25:50 +02:00
Daniel Kirchner
e716c9e2b9 Run solc.exe after build run just to make sure no error was missed. 2020-09-17 14:46:24 +02:00
Daniel Kirchner
a1de862135 Set ErrorActionPreference on all powershell scripts and add explicit error checks. 2020-09-17 14:44:52 +02:00
Daniel Kirchner
23fa0a5387 Test run for CircleCI windows builds. 2020-09-17 14:44:52 +02:00
Christian Parpart
165f898ba9 Release build for Windows. 2020-09-17 13:32:32 +02:00