Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. ensure that at least an empty report file exists
Changeset 11513:0327fb7d3352 by lars hupel _lars.hupel@mytum.de_:
ensure that at least an empty report file exists
The file was modified admin/jenkins/ci_build_all.scala
The file was modified admin/jenkins/ci_build_testboard.scala