CI: Migration SQLite to PostgreSQL (#719)

* migrate all extensions * errors if migration is missing
2022-07-17 13:11:13 +02:00
parent f4e7d62ca3
commit ad2aad05e0
6 changed files with 167 additions and 31 deletions
@@ -4,6 +4,7 @@ docker
 docs
 tests
 venv
+tools

 *.md
 *.log
@@ -12,7 +13,6 @@ venv

 .gitignore
 .prettierrc
-conv.py
 LICENSE
 Makefile
 mypy.ini