10 lines
273 B
Bash
Executable File
10 lines
273 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
repo_root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd -P)"
|
|
cd "$repo_root"
|
|
|
|
julia --project=. src/julia/validate_convergent.jl
|
|
julia --project=. src/julia/validate_uncertainty.jl
|
|
julia --project=. src/julia/validate_construct.jl
|