diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 4069eaf30..956c315c9 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -32,9 +32,6 @@ jobs:
       - name: cargo doc
         run: cargo doc --all-features --document-private-items --no-deps
 
-      - name: check no println! or eprintln! statements
-        run: resources/scripts/check_no_println.sh
-
   clippy-lint:
     name: Clippy lints
     runs-on: ubuntu-latest
diff --git a/resources/scripts/check_no_println.sh b/resources/scripts/check_no_println.sh
deleted file mode 100755
index ab79b79d5..000000000
--- a/resources/scripts/check_no_println.sh
+++ /dev/null
@@ -1,88 +0,0 @@
-#!/usr/bin/env bash
-
-# Script to check for println! or eprintln! in Rust files, ignoring comments.
-#
-# When no args are provided, all the git-tracked *.rs files are searched.
-# When run with two args, respectively --from-ref <ref> and --to-ref <ref>,
-# only the added lines from the git diff between the two refs are searched.
-# The latter is useful when running this as a pre-push git hook.
-
-
-grep_rust_lines_with_prints() {
-    for file in $(git ls-files '*.rs'); do
-        # Strip all inline comments
-        sed -e 's://.*$::' "$file" | \
-        # Prepend the file name and line number to each line, with colors
-        awk -v file="$file" '{ printf "\033[35m%s\033[0m:\033[32m%s\033[0m: %s\n", file, FNR, $0 }' | \
-        # Grep for print statements
-        grep --color=always -E '\b(println!|eprintln!)' || true
-    done
-}
-
-diff_rust_lines_with_prints() {
-    local from_ref="$1"
-    local to_ref="${2:-HEAD}"
-    # --diff-filter=A is to list only added files, excluding modified/deleted
-    git diff "$from_ref" "$to_ref" --name-only --diff-filter=A | \
-    grep '\.rs$' | \
-    while read -r file; do
-        # For each file, get a unified diff with no context (-U0)
-        git diff "$from_ref" "$to_ref" -U0 -- "$file" | \
-        # Strip lines starting with '+++' containing the file name
-        grep -v -E '^\+\+\+' | \
-        # Select only the added lines, i.e. starting with a plus sign
-        grep -E '^\+' | \
-        # Strip the '+' prefix and the inline comments
-        sed -e 's/^\+//' -e 's://.*$::' | \
-        # Prepend the file name and line number to each line, with colors
-        awk -v file="$file" '{ printf "\033[35m%s\033[0m:\033[32m%s\033[0m: %s\n", file, FNR, $0 }' | \
-        # Grep for print statements
-        grep --color=always -E '\b(println!|eprintln!)' || true
-    done
-}
-
-
-opt_error() {
-    local message="$1"
-    echo "Error: $message"
-    echo "Usage: $0 [--from-ref <ref>] [--to-ref <ref>]"
-    exit 1
-}
-
-
-if [ $# -eq 0 ]; then
-    # when no arguments are passed, search all git-tracked files
-    matches=$(grep_rust_lines_with_prints)
-else
-    from_ref=""
-    to_ref=""
-    while [ $# -gt 0 ]; do
-        case "$1" in
-            --from-ref)
-                from_ref="$2"
-                shift 2
-                ;;
-            --to-ref)
-                to_ref="${2:-HEAD}"
-                shift 2
-                ;;
-            *)
-                opt_error "Unknown option: $1"
-                ;;
-        esac
-    done
-
-    if [ -z "$from_ref" ] || [ -z "$to_ref" ]; then
-        opt_error "both --from-ref and --to-ref must be provided, or none at all."
-    fi
-
-    matches=$(diff_rust_lines_with_prints "$from_ref" "$to_ref")
-fi
-
-if [ ! -z "$matches" ]; then
-    echo "Error: The following Rust source files contain println! or eprintln! statements:"
-    echo "$matches"
-    echo "Please remove or comment out the println! and eprintln! statements before pushing."
-    exit 1
-fi
-exit 0