remove commented out lines

imclerran · Dec 12, 2024 · bfd6dd9 · bfd6dd9
1 parent 4bf8a89
commit bfd6dd9
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/ci/all_tests.sh b/ci/all_tests.sh
@@ -3,9 +3,6 @@
 # https://vaneyckt.io/posts/safer_bash_scripts_with_set_euxo_pipefail/
 set -euxo pipefail
 
-# roc='./roc_nightly/roc'
-# roc=$(which roc) # for local use
-
 if roc_path=$(which roc 2>/dev/null); then
     roc="$roc_path"
 else