2022-04-28 15:10:22 +02:00
|
|
|
[build]
|
|
|
|
publish = "dist/"
|
2022-04-28 15:23:30 +02:00
|
|
|
command = "FILE=tools/ci/build-prod.sh; rm -rf dist/; if [ -f $FILE ]; then bash $FILE; else cp -r web/ dist/; fi"
|
2022-04-28 15:30:47 +02:00
|
|
|
environment = { PYTHON_VERSION = "3.8" }
|