Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- add triggers to ci jobs: on commit vs timed;
The file was modified | src/Pure/Admin/ci_build.scala |
The file was modified | src/Pure/Build/build_manager.scala |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- set triggers of ci jobs (see Isabelle/e3f472221f8f);
- set component of ci jobs (see Isabelle/ed9b1598d293);
The file was modified | tools/afp_build.scala |
The file was modified | tools/afp_build.scala |