Merge pull request #65 from imclerran/update-ci-script

Remove commented out lines in CI script
imclerran · Dec 12, 2024 · f7510ee · f7510ee
2 parents 4bf8a89 + bfd6dd9
commit f7510ee
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