Skip to content

Fix postgres port

Fix postgres port #598

Workflow file for this run

#name: Deploy Sphinx documentation to Pages
#
## Runs on pushes targeting the default branch
#on:
# push:
# branches: [main]
#
#jobs:
# pages:
# runs-on: ubuntu-20.04
# environment:
# name: github-pages
# url: ${{ steps.deployment.outputs.page_url }}
# permissions:
# pages: write
# id-token: write
# steps:
# - id: deployment
# uses: sphinx-notes/pages@v3