mirror of
https://github.com/Noratrieb/evaluate_obligation-fingerprints.git
synced 2026-01-15 18:55:01 +01:00
13 lines
116 B
Bash
Executable file
13 lines
116 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
cargo clean -p reproduction
|
|
|
|
node toggle.js
|
|
|
|
cargo build
|
|
|
|
node toggle.js
|
|
|
|
cargo build
|