#888 (May 29, 2024, 5:34:50 PM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. clarify routes: absolute in api and relative for frontend; (detail)
2. add auto-reload for more interactive web apps; (detail)
3. clarified web app endpoints; (detail)
4. proper html script tag: source code must not be escaped; (detail)
5. add explicit Content-Length header to http response (otherwise it is missing in HEAD responses); (detail)
6. add HEAD to http server: should send same header fields as if request was GET; (detail)

Started by an SCM change

This run spent:

• 19 min waiting;
• 1 min 57 sec build duration;
• 21 min total from scheduled to completion.

• refs/remotes/origin/master