Commit Graph

412 Commits

Author SHA1 Message Date
Leo Alt
22e4e2cdc9 disable SMT tests for the clang job 2022-08-30 11:51:59 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Marenz
484c9d3ff0 Update docker images for emscripten. 2022-08-25 17:09:46 +02:00
khue
66f48282cc change to common config of 1 job to reuse between osx and ubuntu 2022-08-24 20:29:51 +02:00
Marenz
542ce5ad95 Use long option for spellchecker in CI 2022-08-18 15:28:12 +02:00
Marenz
1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
Kamil Śliwak
cd741b4162 CI: Disable SMT tests on Arch Linux 2022-07-26 17:38:55 +02:00
Kamil Śliwak
1e8faa8e83 CI: Fix binary naming for solc-bin 2022-06-15 18:16:06 +02:00
Kamil Śliwak
0b80a56294 External test for Gnosis Protocol v2 2022-06-08 20:23:39 +02:00
Kamil Śliwak
5c76d8ee77 External test for Chainlink 2022-06-08 20:21:58 +02:00
Kamil Śliwak
2cea70c04f Skip external test benchmark diff instead of failing when previous run of the job did not succeed 2022-06-07 13:24:55 +02:00
Kamil Śliwak
f4f4cfe294 CI: Print pylint version before running checks 2022-06-01 20:32:25 +02:00
Marenz
6c9754a784 lsp.py: Fix various problems with subdirectory edge cases
* fix properly path parsing with nested subdirectories
* fix regex to be able to handle `file://..`
* fix not checking all expected diagnostics
* Some extra comments and renames
2022-05-31 16:17:35 +02:00
Matheus Aguiar
90514d8893 Added option to allow soltest in CI print errors to stderr in addition to the XML report. 2022-05-27 18:32:21 -03:00
Kamil Śliwak
45dffe598c c_ext_benchmarks: Generate and store benchmark diffs 2022-05-23 14:18:29 +02:00
Kamil Śliwak
9618cb947d download_benchmarks: Script for downloading benchmark results from CircleCI 2022-05-23 14:18:29 +02:00
Daniel Kirchner
e93ad30e43 Remove obsolete enforce-via-yul logic and CI run. 2022-05-19 20:23:28 +02:00
Kamil Śliwak
0cb9590298
Merge pull request #12929 from ethereum/circleci-release-binaries-via-workspace
[CI] Automate preparation of release binaries for publishing (via workspace)
2022-05-19 18:17:53 +02:00
Leo Alt
6a126f6ccb Update tests and hashes for z3 4.8.17 2022-05-13 15:25:10 +02:00
Kamil Śliwak
dbcffb79a5 CI: Post a notification to gitter when binaries are ready 2022-05-12 21:41:44 +02:00
Kamil Śliwak
0153822d2e CI: Add c_release_binaries job that gathers release binaries from individual jobs 2022-05-12 21:41:44 +02:00
Daniel Kirchner
aafda389ea
Merge pull request #12907 from ethereum/calldataReencodeValidationBug
Calldatasize-check during ABI encoding from calldata values with nested dynamic arrays.
2022-05-12 17:56:44 +02:00
Kamil Śliwak
c0cc8ff7e7 Switch to newly built buildpack-deps images in CI 2022-05-12 14:26:07 +02:00
Daniel Kirchner
d357d56b16 Increase CircleCI node size for soltest_all runs. 2022-05-12 13:41:56 +02:00
Christian Parpart
e8d07772d9 lsp.py: Port to support running on Windows & adapt to changes due to prior merged PR.
- lsp.py: Fixes invalid-syntax by Python interpreter on Windows CI (older Python version).
- lsp.py: Savely strip CRLF from right side of the string, ignoring accidental multiple occurrences of \r (such as \r\r\n).
- lsp.py: Fixes reading single character from stdin (wrt. Windows platform).
- lsp.py: Adds header line reading to I/O tracing (useful for debugging).
- lsp.py: When running the tests on Windows, don't care test file content's newlines but simply expect LFs (instead of CRLF for example).
- Apply pylint notes.
- Fixing use of @functools.lru_cache for older python versions (CircleCI Windows)
2022-05-09 11:37:11 +02:00
Christian Parpart
49d27eaa5d [Circle CI] Adds LSP tests to Windows CI. 2022-05-09 11:37:11 +02:00
Leo Alt
4fd7de36f1 update smt tests z3 4.8.16 2022-05-03 14:23:27 +02:00
Kamil Śliwak
5111e7543c soltest.sh: Prevent parallel tests from overwriting each other's XML test output 2022-04-13 20:08:15 +02:00
Kamil Śliwak
8e085432bb External test for Brink 2022-04-13 13:43:48 +02:00
Kamil Śliwak
4ac46ebf40 Disable dependency caching on macOS in CI 2022-04-11 16:01:29 +02:00
Kamil Śliwak
6931c939e0 CI: Make osx test jobs handle dependency installation even if b_osx does not install them 2022-04-11 16:01:29 +02:00
Tharun K
a608bc12f7 Moved docs.sh script to docs/ 2022-04-08 20:41:22 +02:00
Kamil Śliwak
2d834eaf67 A script and CI job for testing the compiler with different locales 2022-03-14 09:08:01 +01:00
Kamil Śliwak
438c082488 CI: Remove the compile-only run for Gnosis 2022-03-09 19:57:16 +01:00
Kamil Śliwak
304c3984ad Update gnosis external test to use upstream directly and use Hardhat 2022-03-09 19:57:16 +01:00
Alexander Arlt
ab0ab4491d Update CI to use new buildpacks. 2022-03-02 11:43:57 -05:00
Leo
947a599e91
Merge pull request #12441 from ethereum/benchmarking-ext-tests
Benchmarking external tests
2022-02-14 20:14:27 +01:00
Daniel Kirchner
3a201ec0f8 Build packed soljson.js. 2022-02-14 16:52:59 +01:00
Daniel Kirchner
5c67d7d8e3 Disable running smt tests in ubsan runs. 2022-02-14 11:48:56 +01:00
Kamil Śliwak
60d9aa0d4f Benchmark report collector job + summary 2022-02-09 17:54:45 +01:00
Kamil Śliwak
c6094bb0c2 externalTests: Benchmark reports 2022-02-09 17:02:40 +01:00
Kamil Śliwak
d511fe93ab CI: Fix job name for PRBMath external test 2022-02-09 17:02:40 +01:00
yatharthagoenka
bdf84c991f Ci: parameterize the clang sanitizer jobs 2022-02-08 20:11:04 +01:00
Kamil Śliwak
bce5f9e0da CI: Store all artifacts in steps_build so that we can use it for b_ubu 2022-02-08 20:11:04 +01:00
yatharthagoenka
0f05b1485e CI: shared build and dependency installation steps 2022-02-08 20:11:04 +01:00
Kamil Śliwak
2f0ccb21be CI: Switch t_ems_ext_hardhat to nodejs 16 2022-02-05 00:31:17 +01:00
Kamil Śliwak
247eab9056 CI: Rename node_latest_small to node_small 2022-02-05 00:06:23 +01:00
Kamil Śliwak
4d65bfa95e CI: Remove notes about Hardhat failing on nodejs 17; that version is officially not supported 2022-02-05 00:06:23 +01:00
Kamil Śliwak
b52032a452 Re-enable Bleeps and just disable the failing governor test 2022-02-04 15:18:37 +01:00
Kamil Śliwak
1e0a695d24 Disable bleeps external test until it gets fixed upstream 2022-02-01 17:01:10 +01:00