merge dev to master for infra pr #20

Merged

ahtlon merged 2 commits from dev into master

2026-07-30 18:35:59 +02:00

Author	SHA1	Message	Date
ahtlon	04a76f91fe	[flake] the module now actually starts the prod server	2026-07-30 18:34:21 +02:00
ahtlon	a8e80ed19d	[main] fix startup when there's no db	2026-07-29 18:37:34 +02:00