remove test branch

Certora · Dec 3, 2024 · 40d8f2f · 40d8f2f
1 parent 445ae4b
commit 40d8f2f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git 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
@@ -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