1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Commit graph

158 commits

Author SHA1 Message Date
dark64
dfcc65da44 test build matrix 2021-04-27 18:46:14 +02:00
dark64
0ded0c4f39 docker in docker 2021-04-27 18:13:49 +02:00
dark64
9b377e67dd wip 2021-04-27 16:30:01 +02:00
schaeff
2403bdd5c9 merge dev, fix 2021-04-01 17:41:53 +02:00
schaeff
38b6fc76a4 merge dev and fix conflicts 2021-04-01 12:52:05 +02:00
schaeff
d437bd3adb use deploy to write, use latest to read 2021-03-31 11:39:22 +02:00
schaeff
d94bbb763e fail on clippy 2021-03-05 16:51:13 +01:00
schaeff
3cc05468de use large instances 2021-02-25 12:09:59 +01:00
schaeff
aec3705edc stop installing clippy 2020-12-23 11:20:41 +01:00
schaeff
3975fba202 add clippy 2020-12-22 16:57:05 +01:00
schaeff
1938a98d2a merge clippy 2020-12-20 20:30:40 +01:00
dark64
e24631a247 enable generate-lockfile 2020-12-11 13:28:05 +01:00
dark64
5757a56574 revert image tag 2020-12-10 19:46:10 +01:00
dark64
7275756633 wip 2020-12-10 17:20:03 +01:00
dark64
79f8397e95 disable generate-lockfile temporarily 2020-12-10 17:14:30 +01:00
dark64
78caeb5404 wip 2020-12-10 16:24:35 +01:00
schaeff
45ff5741d5 fix wasm test 2020-12-01 00:22:45 +00:00
schaeff
cbdcee9ecc fix wasm test 2020-12-01 00:18:10 +00:00
dark64
8cfe4c9130 merge dev 2020-08-13 17:59:54 +02:00
dark64
4624694606 update circleci config, update env dockerfile 2020-08-06 15:12:53 +02:00
dark64
b7282372a1 build zokrates_js in dev mode in ci 2020-08-06 14:31:38 +02:00
dark64
f7e2b887f3 use geckodriver-v0.26.0 for wasm testing 2020-08-06 11:57:26 +02:00
dark64
5b2bef8805 Update circleci config 2020-08-05 20:24:30 +02:00
dark64
d4431fb22a fix Dockerfile, combine run layers for smaller image 2020-08-05 20:19:23 +02:00
dark64
010998d791 update ci images 2020-08-05 15:33:47 +02:00
dark64
fabf47072b change docker image for zokrates js tests 2020-07-09 19:07:35 +02:00
dark64
f1b97a6520 add stdlib-path argument to cli, remove ZOKRATES_HOME env 2020-06-25 13:37:11 +02:00
schaeff
4f059bf064 try with quotes 2020-05-25 14:06:11 +02:00
schaeff
86e2ece5db workaround weird exclamation mark handling 2020-05-25 14:02:29 +02:00
schaeff
dfc7135d8b escape ! 2020-05-25 13:57:19 +02:00
schaeff
d306b4409d use boolean logic 2020-05-25 13:44:12 +02:00
schaeff
b9e2003d2e succeed if rustfmt isn't available 2020-05-25 13:00:41 +02:00
schaeff
1b942bae33 bump version niumbers for bellman tools 2020-05-18 17:40:40 +02:00
JacobEberhardt
6bee1f89c9
Merge pull request #578 from Zokrates/zero-cost-spread
Memoize function calls
2020-04-14 17:34:52 +02:00
Darko Macesic
17ca1ca052
Update config.yml 2020-04-14 16:37:38 +02:00
schaeff
727360fa8a rewrite return statements to always wrap identifiers 2020-04-09 15:45:32 +02:00
dark64
fa8d81ac5b fix spacing, use slim image 2020-04-07 20:35:18 +02:00
dark64
44d07c470c update ci 2020-04-07 17:26:02 +02:00
dark64
2af231bf3b fix clang-format script 2020-04-07 16:02:18 +02:00
dark64
07041e92e2 clang-format-checker 2020-04-07 15:54:37 +02:00
dark64
4d6fc314ed fix clang-format script 2020-04-06 20:44:29 +02:00
dark64
4a41f183a3 add clang-format check to test job 2020-04-06 19:10:30 +02:00
schaeff
c447b29c6e disable fmt 2020-03-30 13:28:42 +02:00
schaeff
2868401f0c add back fmt 2020-02-20 15:45:56 +01:00
schaeff
ffa837b4be remove fmt as it's not available 2020-02-11 12:48:18 +01:00
dark64
e1c26afe5d use rust-wasm-env image in ci 2020-02-04 17:44:49 +01:00
dark64
2949b42757 update zokrates_js build step in ci 2020-01-30 17:06:42 +01:00
dark64
62171cccf4 Add dockerfile for building zokrates_js, modify ci steps 2020-01-14 02:51:29 +01:00
dark64
201d9b887e make imports public in core, remove ci steps for zokrates_js 2020-01-06 20:55:54 +01:00
dark64
95b7a96a1c Merge branch 'wasm-friendly' of github.com:Zokrates/ZoKrates into zokrates_js 2020-01-06 19:55:27 +01:00
dark64
55cc882fc5 update ci 2019-12-16 15:06:07 +01:00
schaeff
a57a3030f7 fix circleci conflict 2019-12-09 17:35:34 +01:00
schaeff
85514eefab merge dev 2019-12-09 17:32:00 +01:00
dark64
35b20ec2f7 fix deploy docker image 2019-12-03 17:39:28 +01:00
dark64
9b9522cb39 Add zokrates_js deploy step to CI, update publish.sh script 2019-12-03 17:29:24 +01:00
schaeff
d3a411a616 remove circle wasm test 2019-11-25 20:08:53 +01:00
Thibaut Schaeffer
86ba4b708c
add firefox testing. wip (#517)
* add firefox testing. wip

* fix config

* use crates bellman

* install  curl

* move wasm install test install script to sh

* make sh executable

* remove firefox as its suppose to be there already

* confirm install..

* seems like firefox isnt there after all

* firefox-esr

* use fixed bellman

* revert backend api change, only touch env outside wasm

* fix typo in cfg flag
2019-11-22 13:02:02 +01:00
schaeff
4b409af47c merge dev, use multicore in cli 2019-11-21 14:24:31 +01:00
schaeff
bedb899de9 fix test, reactivate fmt 2019-10-28 15:53:14 +01:00
schaeff
400a2205f3 merge dev, fix flags 2019-10-25 13:13:14 +02:00
Thibaut
6517702606 remove rustfmt temporarilly as it didnt ship 2019-10-07 11:56:16 +09:00
Thibaut
e15d524e7b Merge branch 'structs' of github.com:Zokrates/ZoKrates into wasm-friendly 2019-10-06 13:00:56 +09:00
Thibaut
925ef977f2 merge dev 2019-10-03 16:53:19 +02:00
Thibaut
210a8b9f3a remove web incompatible crates, change wasm flag to wasm_solvers, introduce wasm flag 2019-10-03 16:42:15 +02:00
Thibaut
6dc8c68f24 Merge branch 'develop' of github.com:Zokrates/ZoKrates into structs 2019-10-02 19:56:25 +02:00
Thibaut
3dd57830bb remove codecov 2019-10-01 14:38:58 +02:00
schaeff
0865bfdcea add rustfmt back 2019-08-14 11:07:38 +02:00
schaeff
dcc13af656 try non preveiw fmt, fix test 2019-08-08 02:15:20 +02:00
schaeff
777bd7fe3f disable fmt check as it didn't ship 2019-07-29 13:06:42 +02:00
schaeff
ea138eadf9 remove git install 2019-07-04 13:26:31 +02:00
Paul E
e0510d0518 moved contract nesting to another folder due to test error and changed build step 2019-06-29 16:25:47 +02:00
Paul E
ae7ee29a5b added contract tests to integration_test circleci job 2019-06-29 15:22:21 +02:00
Paul E
a12201060e testing integration test integration 2019-06-29 14:44:05 +02:00
schaeff
26e12584e9 remove proof.json, use scripts on CI to make sure libsnark is enabled 2019-04-12 13:45:04 +02:00
schaeff
7597234d54 Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into stdlib-crate 2019-03-14 12:32:41 +01:00
schaeff
99aae5544b rename script, add to CI 2019-02-28 13:28:17 +01:00
schaeff
440a1887e9 make stdlib a crate, add integration tests using fs resolver 2019-02-26 15:20:43 +01:00
schaeff
f995d20cc2 install libsnark for wasm test 2019-02-08 18:20:39 +01:00
schaeff
5e3209442a remove libsnark source from ci 2019-02-07 17:34:18 +01:00
schaeff
bea858dc9b remove libsnark buid from ci 2019-02-07 17:25:38 +01:00
schaeff
826168240b move libsnark fetch to build 2019-02-07 17:22:28 +01:00
sdeml
fe6396950b resolve PR comments 2019-01-31 21:06:43 +01:00
sdeml
a7e5477d2b Merge branch 'develop' into add-sharound
* develop:
  Remove the tools directory
  add doc, example and failing test for out of scope
  Add zokrates_field to kcov
  first build docker, then tag gh
  clean env
  revert dockerfile to original, enable master filter, enable push to dockerhub, git tag and mdbook
  clean, move bot addr to env, silence commands
  pass pw through stdin to silence warning
  remove useless checks, rename env var
  enable docker remote
  add docker login, get mdbook from tar
  allow wasm tests to fail
  add integration_test job
  use workflows

# Conflicts:
#	.circleci/config.yml
2019-01-31 08:59:59 +01:00
schaeff
14ea912ea2 revert dockerfile to original, enable master filter, enable push to dockerhub, git tag and mdbook 2019-01-28 20:35:19 +01:00
schaeff
08cda8ed33 remove useless checks, rename env var 2019-01-28 20:05:43 +01:00
schaeff
7a14e0025f enable docker remote 2019-01-28 19:55:09 +01:00
schaeff
3bc6ecae6a add docker login, get mdbook from tar 2019-01-28 19:52:00 +01:00
schaeff
c594886596 allow wasm tests to fail 2019-01-28 15:02:30 +01:00
schaeff
ddaa961b89 add integration_test job 2019-01-28 14:55:13 +01:00
schaeff
d72169dba9 use workflows 2019-01-28 14:52:40 +01:00
Thibaut Schaeffer
17682a94af
Merge branch 'develop' into add-sharound 2019-01-28 10:22:21 +01:00
schaeff
7df02b5e0e remove wasm tests from CI 2019-01-25 15:37:45 +01:00
sdeml
277be7e6b9 clear cache 2019-01-24 21:58:33 +01:00
sdeml
3de75f9a3a fix ZOKRATES_HOME path 2019-01-24 19:52:59 +01:00
sdeml
2b80b6ccd0 fix circleci 2019-01-24 18:09:29 +01:00
sdeml
6f163bcdb6 fix tests 2019-01-24 17:59:13 +01:00
sdeml
178572bbfe set ENV ZOKRATES_HOME for circleci 2019-01-24 17:20:31 +01:00
Guillaume Ballet
2973df573a Run the tests with WASM enabled 2019-01-14 18:17:40 +01:00
Guillaume Ballet
8d7a09ebd6 Add wasm32 target to the build 2019-01-14 14:48:33 +01:00
Stefan Deml
fd0c512bfd add publishing job 2018-12-08 00:14:15 +00:00