Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. API for Isabelle Jenkins continuous integration services;
  3. more operations;
  4. support for JSON parsing;
Changeset 63647:437bd400d808 by wenzelm:
merged
Changeset 63646:74604a9fc4c8 by wenzelm:
API for Isabelle Jenkins continuous integration services;
The file was addedsrc/Pure/Tools/ci_api.scala
The file was modified Admin/etc/settings (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 63645:d7e0004d4321 by wenzelm:
more operations;
The file was modified src/Pure/General/url.scala (diff)
Changeset 63644:ed266398da33 by wenzelm:
support for JSON parsing;
The file was addedsrc/Pure/General/json.scala
The file was modified src/Pure/build-jars (diff)