You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
456 B
20 lines
456 B
#!/usr/bin/env bash
|
|
set -euxo pipefail
|
|
|
|
# vagrant "ssh + command" does not source, adding -- -t does not help
|
|
. $HOME/.nix-profile/etc/profile.d/nix.sh
|
|
if [ -f $HOME/.carg/env ]; then
|
|
source $HOME/.cargo/env
|
|
fi
|
|
|
|
ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
|
|
ssh -T git@gitlab.com
|
|
|
|
cd /hyperplonk
|
|
|
|
nix-shell --run "cargo-clippy"
|
|
nix-shell --run "cargo fmt -- --check"
|
|
nix-shell --run "cargo test --doc"
|
|
nix-shell --run "cargo test --release"
|
|
|
|
echo "Ok!"
|