cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
21,435 Commits 348 Branches 121 Tags 100 MiB
00fb719d03
Commit Graph

324 Commits

Author SHA1 Message Date
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
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
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
hrkrshnn
af1dabb555 Added EVMVersion london. 
Also set the value of `block_base_fee` for testing to 7 wei.
 2021-08-09 16:18:08 +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
hrkrshnn
d176716d47 Added extra commands that needs to be run before brew update 
Fixes the following issue:

Error:
  homebrew-core is a shallow clone.
  homebrew-cask is a shallow clone.
To `brew update`, first run:
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core fetch --unshallow
  git -C /usr/local/Homebrew/Library/Taps/homebrew/homebrew-cask fetch --unshallow
These commands may take a few minutes to run due to the large size of the repositories.
This restriction has been made on GitHub's request because updating shallow
clones is an extremely expensive operation due to the tree layout and traffic of
Homebrew/homebrew-core and Homebrew/homebrew-cask. We don't do this for you
automatically to avoid repeatedly performing an expensive unshallow operation in
CI systems (which should instead be fixed to not use shallow clones). Sorry for
the inconvenience!
 2021-06-17 10:34:57 +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