1
0
Fork 0
mirror of https://github.com/pgpainless/pgpainless.git synced 2025-09-09 10:19:39 +02:00

Fix mermaid-cli cmd

This commit is contained in:
Paul Schaub 2022-07-08 00:21:40 +02:00
parent 556496dc87
commit 6f2b5ed1ca
Signed by: vanitasvitae
GPG key ID: 62BEE9264BF17311
14 changed files with 177 additions and 2676 deletions

View file

@ -8,12 +8,22 @@ version: 2
# Set the version of Python and other tools you might need
build:
os: ubuntu-20.04
# apt_packages:
# - libgtk-3-0
# - libasound2
# - libnss3
# - libxss1
# - libgbm1
# - libxshmfence1
tools:
python: "3.9"
# You can also specify other tool versions:
nodejs: "16"
# nodejs: "16"
# rust: "1.55"
# golang: "1.17"
# jobs:
# post_install:
# - npm install -g @mermaid-js/mermaid-cli
# Build documentation in the docs/ directory with Sphinx
sphinx: