github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Merge branch 'develop' of github.com:Zokrates/ZoKrates into rc/0.8.4

Browse source
This commit is contained in:
schaeff 2023-01-31 12:54:24 +01:00
commit 2bd2ed2927
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.circleci/config.yml
View file

@ -249,7 +249,7 @@ workflows:
jobs:
- build
- test
- wasm_test
# - wasm_test
- integration_test
- zokrates_js_build
- zokrates_js_test
@ -307,7 +307,7 @@ workflows:
requires:
- build
- test
- wasm_test
# - wasm_test
- integration_test
- zokrates_js_build
- zokrates_js_test