Kamil Śliwak
|
f5830c4516
|
CI: Extend t_ems job to allow using both emscripten and native binaries
|
2021-12-10 17:43:57 +01:00 |
|
Kamil Śliwak
|
eb8e304b47
|
externalTests: Add support for using a native binary
|
2021-12-10 17:43:57 +01:00 |
|
Kamil Śliwak
|
b96d238c23
|
CI: Double the number of threads for jobs that did slow down after switching to a smaller resource class
|
2021-12-03 12:34:18 +01:00 |
|
Kamil Śliwak
|
075d7b6152
|
CI: Remove separate compile-only runs for external tests that execute quickly
|
2021-12-03 12:33:34 +01:00 |
|
Kamil Śliwak
|
0cece8e6e7
|
CI: Optimize machine sizes for best speed/cost ratio
|
2021-12-03 12:32:40 +01:00 |
|
Kamil Śliwak
|
c04fca7c2d
|
Merge pull request #12192 from ethereum/hardhat-in-oz-ext-test
Use Hardhat and the right binary for OpenZeppelin external tests
|
2021-11-30 16:17:28 +01:00 |
|
Kamil Śliwak
|
9f59d1746b
|
Fix OpenZeppelin external tests to actually use Hardhat and the binary built in CI
|
2021-11-25 21:34:53 +01:00 |
|
Kamil Śliwak
|
674b1ecf3f
|
CI: Change the default node version in t_ems_ext from 14 to latest
|
2021-11-25 21:34:53 +01:00 |
|
Kamil Śliwak
|
26ac84300e
|
CI: Extract workflow name without jq
|
2021-11-25 21:33:56 +01:00 |
|
Leo Alt
|
6cff73af71
|
update osx z3 hash
|
2021-11-24 20:41:22 +01:00 |
|
Leo Alt
|
406b1fbcec
|
bump docker hashes and z3 version
|
2021-11-24 20:41:22 +01:00 |
|
Kamil Śliwak
|
00fb719d03
|
CI: Don't use # in gitter notifications
|
2021-11-23 16:41:22 +01:00 |
|
Kamil Śliwak
|
4e6b5205ac
|
CI: Include workflow name instead of hard-coded "nightly" in gitter notifications
|
2021-11-23 16:40:54 +01:00 |
|
Kamil Śliwak
|
2aeeef83f2
|
Merge pull request #12214 from ethereum/parallelize-external-tests
Parallelize external tests
|
2021-11-18 17:27:57 +01:00 |
|
Kamil Śliwak
|
cbb3e07480
|
Merge pull request #12141 from ethereum/via-ir-equivalence-tests
Tests for the equivalence of one- and two-stage compilation via IR
|
2021-11-18 15:17:44 +01:00 |
|
Kamil Śliwak
|
e2e393495e
|
Install diffutils on macOS to get diff with color support
|
2021-11-10 18:12:06 +01:00 |
|
Kamil Śliwak
|
0ec3f523bd
|
CI: Workaround for $CIRCLE_PULL_REQUEST pointing at random PRs in runs outside of PRs
|
2021-11-10 17:05:23 +01:00 |
|
Kamil Śliwak
|
834f9d3a6e
|
Parallelize external test runs on CircleCI
|
2021-11-09 16:57:37 +01:00 |
|
Kamil Śliwak
|
fbc48e3029
|
Extract helpers for managing steps in parallelized CircleCI jobs from soltest_all.sh
|
2021-11-09 16:57:37 +01:00 |
|
Kamil Śliwak
|
205e05b8f1
|
CI: Add gitter failure notifications to all jobs
|
2021-11-08 17:59:19 +01:00 |
|
Kamil Śliwak
|
75fd7fa93e
|
CI: Modify notification steps to be silent in PRs
|
2021-11-08 17:59:19 +01:00 |
|
Daniel Kirchner
|
a7688a0eaf
|
Update emscripten to version 2.0.33.
|
2021-11-04 19:24:12 +01:00 |
|
Kamil Śliwak
|
c76a8a738d
|
CI: Tweak some job names to better reflect what they run
|
2021-11-03 12:54:56 +01:00 |
|
Kamil Śliwak
|
9c96234724
|
CI: Define a base_ dict for every image and set default values for some env variables there
|
2021-11-03 12:54:56 +01:00 |
|
Kamil Śliwak
|
9aafbf1092
|
CI: Replace test_ dicts with base_ ones and make their steps explicit
|
2021-11-03 12:54:56 +01:00 |
|
Kamil Śliwak
|
e9708105a4
|
CI: Remove superfluous/unused test_ dicts
|
2021-11-03 12:54:56 +01:00 |
|
Kamil Śliwak
|
fd66f13dc0
|
soltest.sh: Fix typo in a comment
|
2021-10-29 00:19:43 +02:00 |
|
Kamil Śliwak
|
cc80f5e992
|
Add missing condition to gitter_notify command
|
2021-10-26 10:52:22 +02:00 |
|
Harikrishnan Mulackal
|
8460a65aba
|
Merge pull request #12182 from ethereum/circleci-gitter-notification-command
[CI] Reusable command for gitter notifications
|
2021-10-25 12:20:07 +01:00 |
|
Harikrishnan Mulackal
|
ae0db91833
|
Merge pull request #12165 from ethereum/hardhat-tests-in-ci
[CI] Run hardhat tests as a PR check
|
2021-10-25 12:15:42 +01:00 |
|
Kamil Śliwak
|
a4fce301df
|
CI: Use markdown link syntax in gitter messages
|
2021-10-22 21:23:23 +02:00 |
|
Kamil Śliwak
|
0e71c12c56
|
CI: Refactor the gitter notification templates into a reusable command
|
2021-10-22 21:23:23 +02:00 |
|
Kamil Śliwak
|
ab31437f2e
|
Add a PR check that runs hardhat tests using the built compiler binary
|
2021-10-22 20:44:14 +02:00 |
|
Kamil Śliwak
|
92f3d749e2
|
CI: Store yul-phaser as an artifact too
|
2021-10-21 19:11:37 +02:00 |
|
Kamil Śliwak
|
70d78a09a7
|
Remove brew update and the workarounds it requires
|
2021-10-18 13:43:37 +02:00 |
|
Kamil Śliwak
|
f1ca8e535b
|
Update the workaround for restore_cache on macOS not to delete files completely
|
2021-10-14 13:37:40 +02:00 |
|
Kamil Śliwak
|
cd22574072
|
Workaround for CircleCI not being able to restore cached /usr/local/Homebrew
|
2021-10-11 20:12:55 +02:00 |
|
Kamil Śliwak
|
24c8a608c4
|
Include OS and CPU architecture in CircleCI cache keys
|
2021-10-11 19:16:52 +02:00 |
|
Leonardo
|
6d806359be
|
Merge pull request #11873 from soroosh-sdi/cmake-check-z3-latest
Require latest Z3 by default and allow relaxing the requirement with `STRICT_Z3_VERSION=OFF`
|
2021-10-01 12:58:03 +02:00 |
|
soroosh-sdi
|
8b04ac38ab
|
Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
|
2021-09-24 22:09:56 +03:30 |
|
Kamil Śliwak
|
091e15d6da
|
Verify checksums of packages downloaded by scripts
|
2021-09-24 16:29:45 +02:00 |
|
Kamil Śliwak
|
59e8bbb1d7
|
Do not use --force with rm if not needed
|
2021-09-24 16:29:14 +02:00 |
|
Kamil Śliwak
|
67041fb37f
|
Put versions of packages downloaded by scripts in variables to reduce duplication
|
2021-09-24 16:29:14 +02:00 |
|
Bhargava Shastry
|
bb1e185f88
|
Docker config: Update ossfuzz docker image.
|
2021-09-17 15:40:35 +02:00 |
|
Kamil Śliwak
|
4560e5bdd9
|
Bump base image version for b_bytecode_ems to get a newer version of Python
|
2021-09-16 20:22:24 +02:00 |
|
yatharthagoenka
|
5a02384233
|
Cleanup/Deduplication in .circleci/config
|
2021-09-03 22:56:19 +02:00 |
|
Kamil Śliwak
|
4e76914622
|
Switch back to using the latest ArchLinux docker image
|
2021-09-01 19:00:03 +02:00 |
|
Kamil Śliwak
|
5849e0c16e
|
Re-enable SMT tests on Arch Linux
- Z3 4.8.12 has already been released
|
2021-09-01 18:59:13 +02:00 |
|
Bhargava Shastry
|
427aec2cb4
|
Circle CI: Introduce default evm version parameter; remove hard-coded setting.
|
2021-08-31 17:15:15 +02:00 |
|
Kamil Śliwak
|
a12af13189
|
.circleci/config.yml: Bump OpenJDK version from 14 to 16
- OpenJDK 14 seems to have been removed from Ubuntu Focal repos
|
2021-08-27 12:42:08 +02:00 |
|