Skip to content
Started 25 days ago
Took 17 min on workermtahpc
Success

#5288 (May 29, 2024, 5:17:37 PM)

Changes

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

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

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 17 min build duration;
  • 19 min total from scheduled to completion.
Revision: 3cf3ad092e3e8fc5114c4f104fe14fc45dcb3f7d
Revision: 877b91d3364b35a2086929aa3a41b5ff4a494804