#!/bin/bash

set -e
# Define the array of strings
NAMES=("keccak256-circuit" "keccak256-transpiler" "keccak256-guest" "native-circuit" "native-compiler" "native-compiler-derive" "native-compiler-macros" "native-recursion" "pairing-circuit" "pairing-transpiler" "pairing-guest" "pairing" "rv32-adapters" "rv32im-circuit" "rv32im-transpiler" "rv32im" "rv32im-guest")

# Loop through each name in the array
for NAME in "${NAMES[@]}"; do
    NAME=$NAME bash rename.sh
    cargo publish --allow-dirty
    sleep 500
done