1#!/usr/bin/env bash
 2set -euxo pipefail
 3
 4# vagrant "ssh + command" does not source, adding -- -t does not help
 5. $HOME/.nix-profile/etc/profile.d/nix.sh
 6if [ -f $HOME/.carg/env ]; then
 7    source $HOME/.cargo/env
 8fi
 9
10ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
11ssh -T git@gitlab.com
12
13cd /hyperplonk
14
15nix-shell --run "cargo-clippy"
16nix-shell --run "cargo fmt -- --check"
17nix-shell --run "cargo test --doc"
18nix-shell --run "cargo test --release"
19
20echo "Ok!"