Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. adapted to Isabelle/457e4fbed731;
Changeset 7780:e33a2b90b457 by wenzelm:
merged
Changeset 7779:499dc62c293a by wenzelm:
adapted to Isabelle/457e4fbed731;
The file was modified admin/jenkins/ci_build_afp.scala (diff)
The file was modified admin/jenkins/ci_build_slow.scala (diff)