Skip to content

Commit

Permalink
add test for txe
Browse files Browse the repository at this point in the history
  • Loading branch information
critesjosh authored Sep 12, 2024
1 parent cdd848a commit 7ba4323
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions .github/scripts/update_contract.sh
Original file line number Diff line number Diff line change
Expand Up @@ -67,6 +67,15 @@ if [ $? -eq 0 ]; then

echo "Comments removed from $file"
done

# Add 'mod test;' to the top of main.nr
main_nr_file="$copy_to_file_path/src/main.nr"
if [ -f "$main_nr_file" ]; then
sed -i '1imod test;' "$main_nr_file"
echo "Added 'mod test;' to the top of main.nr"
else
echo "main.nr not found in $copy_to_file_path/src/"
fi
else
echo "Directory not found: $name_value"
fi
Expand Down

0 comments on commit 7ba4323

Please sign in to comment.