diff --git a/examples/run_all_headless.sh b/examples/run_all_headless.sh new file mode 100755 index 0000000000..44f9b6407e --- /dev/null +++ b/examples/run_all_headless.sh @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -euo pipefail + +exa -F . | rg '/$' | sd '/' '' | rargs timeout --preserve-status 15s cargo run --bin {} +rm -f pipeline-caching/pipeline_cache.bin