add deployment status - part 2

Author: ScriptRaccoon

.github/workflows/deploy.yaml

@@ -58,12 +58,12 @@ jobs:
             - name: Generate SvelteKit config
               run: pnpm svelte-kit sync
 
-            # - name: Set deployment status
-            #   if: steps.diff.outputs.db_changed == 'true'
-            #   env:
-            #       DB_URL: ${{ secrets.DB_URL }}
-            #       DB_AUTH_TOKEN: ${{ secrets.DB_AUTH_TOKEN }}
-            #   run: tsx scripts/deploy-status.ts --deploying
+            - name: Set deployment status
+              if: steps.diff.outputs.db_changed == 'true'
+              env:
+                  DB_URL: ${{ secrets.DB_URL }}
+                  DB_AUTH_TOKEN: ${{ secrets.DB_AUTH_TOKEN }}
+              run: pnpm db:start-deploy
 
             - name: Update database
               if: steps.diff.outputs.db_changed == 'true'

database/data/005_properties.sql

@@ -592,7 +592,7 @@ VALUES
 	(
 		'strongly connected',
 		'is',
-		'A category is <i>strongly connected</i> if it is inhabited and every two objects $A,B$ can be joined via a morphism: there is a morphism $A \to B$ or there is a morphism $B \to A$. Notice that this is stronger than being connected, and that posets with this property are precisely the inhabited totally ordered sets. The terminology is not standard, but it is taken from Bunge''s PhD thesis <a href="http://www.tac.mta.ca/tac/reprints/articles/30/tr30abs.html" target="_blank">Categories of Set Valued Functors</a>.',
+		'A category is <i>strongly connected</i> if it is inhabited and every two objects $A,B$ can be joined via a morphism: there is a morphism $A \to B$ or there is a morphism $B \to A$. Notice that this is stronger than being connected, and that posets with this property are precisely the inhabited totally ordered sets.<br>The terminology is not standard, but it is taken from Bunge''s PhD thesis <a href="http://www.tac.mta.ca/tac/reprints/articles/30/tr30abs.html" target="_blank">Categories of Set Valued Functors</a>.',
 		NULL,
 		'strongly connected',
 		TRUE