From 6e81e4df508dde86568bf2edff1dace0599b518f Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Sun, 17 Nov 2024 20:48:48 +0200
Subject: [PATCH] [skip ci] remove comment

---
 scripts/package.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/scripts/package.sh b/scripts/package.sh
index 8ed77c0..7fca9dd 100755
--- a/scripts/package.sh
+++ b/scripts/package.sh
@@ -84,8 +84,6 @@ fi
 
 # Sign macOS binaries
 if [[ $HOST_TRIPLE == *apple-darwin* ]]; then
-    pwd; ls -l # TODO: remove this
-    
     LLVM_BIN="./deploy/llvm/bin"
     RUST_BIN="./deploy/rust/bin"
     RUST_LIB="./deploy/rust/lib"