From 40d8f2f6e2a18b80da7f7ee4ac58b77e4cba7cc5 Mon Sep 17 00:00:00 2001
From: Oz <oz@certora.com>
Date: Tue, 3 Dec 2024 15:10:30 +0200
Subject: [PATCH] remove test branch

---
 .github/workflows/main.yml | 1 -
 scripts/package.sh         | 3 +--
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e7c1791..400e67f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -3,7 +3,6 @@ name: Build Tools
 on:
   push:
     branches:
-      - oz/ci # TODO: remove this
       - main
     tags: ['*']
   workflow_dispatch:
diff --git a/scripts/package.sh b/scripts/package.sh
index 8dddb49..37f5724 100755
--- a/scripts/package.sh
+++ b/scripts/package.sh
@@ -99,8 +99,7 @@ if [[ $HOST_TRIPLE == *apple-darwin* ]]; then
         "$RUST_LIB/librustc_driver-b4e91886a4c059a0.dylib" \
         "$RUST_LIB/libstd-6eff127b55c063c2.dylib" \
         "$RUST_LIB_BIN/rustd-lld"
-       # Not signin rustc duo to failed cargo build:
-       # "$RUST_BIN/rustc"
+       # "$RUST_BIN/rustc" # Not signing 'rustc' duo to failing cargo build
 fi
 
 # Check the Rust binaries