Merge branch 'dev' into popzxc-920-refine-project-structure

TeamNumio · Sep 16, 2020 · db50a70 · db50a70
2 parents b439aed + 1d13d02
commit db50a70
Show file tree

Hide file tree

Showing 151 changed files with 11,775 additions and 8,332 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,8 +21,12 @@ jobs:
         echo "::set-env name=PATH::$(echo `pwd`/bin:$PATH)"
         echo "::set-env name=CI::1"
 
+    - name: update-rust
+      run: rustup update stable
+
     - name: lints
       run: |
+        zksync db-setup # So database will be created for compilation.
         zksync dummy-prover ensure-disabled
         cargo fmt -- --check
         cargo clippy --tests --benches -- -D warnings