chore: Integrate concrete-optimizer CI

This commit is contained in:
Quentin Bourgerie
2023-03-07 15:04:50 +01:00
parent c20726e487
commit bb728959ec
9 changed files with 49 additions and 180 deletions

View File

@@ -9,6 +9,8 @@ members = [
[profile.test]
overflow-checks = true
[profile.release]

View File

@@ -0,0 +1,12 @@
#!/bin/env bash
ROOT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
NAME=v0-parameters
EXE=${ROOT_DIR}/target/release/${NAME}
if ! [ -e "$EXE" ]; then
echo "Let's build the optimizer before running it ..."
fi
cd $ROOT_DIR
cargo run --release --quiet --bin v0-parameters -- $@