Skip to content

Add a dev server

Loïs Poujade requested to merge 7-devserver into main
  • all local files (sources, dependencies, config, etc) are mounted in the devserver container
  • devserver watch sources & rebuild/reload on each change
  • "prod" server was updated to allow devserver to access its ressources
  • "prod" server now use npm ci instead of install and webpack production mode for build

Closes #7 (closed)

Merge request reports