fix: gen-migrations workflow

2023-07-20 00:33:46 -05:00
parent bba7d98c36
commit 7613dc8749
2 changed files with 2 additions and 3 deletions
--- a/scripts/diff.sh
+++ b/scripts/diff.sh
@@ -24,8 +24,7 @@ if [[ -z "$base" ]] || [[ -z "$head" ]]; then
 fi

 if [[ ! -f "$migration" ]]; then
-  docker stop base head
-  docker rm base head
+  docker compose down -v
  ./scripts/build.sh base "$base" 1>&2 || (echo "base failed to build" && exit 1)
  ./scripts/build.sh head "$head" 1>&2 || (echo "head failed to build" && exit 1)