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
|
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
|
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
|
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
|
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 |
|
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 |
|
Bhargava Shastry
|
b77d345da7
|
Refactor and add gitter notification for UBSan test CIs.
|
2021-08-26 20:54:10 +02:00 |
|
Bhargava Shastry
|
0b9fc214c7
|
Add UBSan build + test CI.
|
2021-08-26 13:14:56 +02:00 |
|
Alex Beregszaszi
|
c018cdf419
|
Merge pull request #11706 from ethereum/update-evmone-part2
Update evmone part 2
|
2021-07-27 17:17:59 +01:00 |
|
Leo Alt
|
6c8ecfa82c
|
Add option to choose solver
|
2021-07-27 17:14:21 +02:00 |
|
hrkrshnn
|
6b8c32b859
|
Updated circleci scripts with evmone 0.8.0 docker images
|
2021-07-27 16:38:55 +02:00 |
|
Leo Alt
|
5decccaf3a
|
update docker hashes and versions
|
2021-07-19 15:20:11 +02:00 |
|
Kamil Śliwak
|
b4df5ede69
|
Disable SMT tests on Arch Linux until the problem with hanging tests on Z3 4.8.11 is resolved
|
2021-06-14 15:38:19 +02:00 |
|
hrkrshnn
|
a4fd7c56a4
|
A script to summarize gas differences from isoltest for PRs.
|
2021-06-08 11:38:58 +02:00 |
|
Alex Beregszaszi
|
90072a7c0d
|
update docker hashes
|
2021-05-13 16:25:55 +01:00 |
|
Daniel Kirchner
|
7073198adb
|
Update docker image hashes in CircleCI config.
|
2021-05-12 16:56:23 +02:00 |
|
Daniel Kirchner
|
06a9199967
|
Change loading of VMs and error messages during test.
|
2021-05-12 14:48:37 +02:00 |
|
Kamil Śliwak
|
563160e5b3
|
Hard-code archlinux image version to base-20210131.0.14634 to work around runc/glibc bug
|
2021-04-29 19:16:09 +02:00 |
|
Kamil Śliwak
|
09283a6db4
|
Switch from archlinux/base to archlinux:base in CI
- archlinux/base seems to be gone
- archlinux:base comes from a different repo but seems to also be an official Arch Linux image
|
2021-04-29 18:29:21 +02:00 |
|