[soegaard]

> Build server and new packages:

The package server maintains a catalog of available packages.

When you submit a new package, it is more or less immediately registered in the catalog. This means other users can try your package quickly.

What takes time is the build server. The build server builds every package available on the package server.

The build server

  - builds the package in a sandboxed environment
  - builds documentation

This takes time, since packages can refer to each other. The advantage is that the documentation can use scope information to link all identifiers to the correct sentry in the docs.

It would be nice for some improvements though:

  - getting a mail when the build is done
  - incremental build of packages that no other packages rely on