remove useless checks, rename env var

.circleci/config.yml

@@ -15,9 +15,6 @@ jobs:
       - restore_cache:
           keys:
             - v4-cargo-cache-{{ arch }}-{{ checksum "Cargo.lock" }}
-      - run:
-          name: Check format
-          command: rustup component add rustfmt-preview; cargo fmt --all -- --check
       - run:
           name: Build libsnark
           command: LIBSNARK_SOURCE_PATH=$HOME/libsnark ./build_libsnark.sh
@@ -77,9 +74,6 @@ jobs:
       - run:
           name: Download wasm32 target
           command: rustup target add wasm32-unknown-unknown
-      - run:
-          name: Build libsnark
-          command: LIBSNARK_SOURCE_PATH=$HOME/libsnark ./build_libsnark.sh
       - run:
           name: Run tests with WASM enabled
           command: cd zokrates_core && cargo test --release --features wasm -- --test-threads=1

scripts/release.sh

@@ -16,7 +16,7 @@ git tag $TAG
 docker build -t zokrates .
 
 ## Log into Dockerhub
-docker login -u $DOCKER_USER -p $DOCKER_PASS
+docker login -u $DOCKERHUB_USER -p $DOCKERHUB_PASS
 
 ## Release under `latest` tag
 docker tag zokrates:latest zokrates/zokrates:latest