Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. new Isabelle component for CI infastructure
Changeset 63143:ef72b104fa32 by lars hupel _lars.hupel@mytum.de_:
new Isabelle component for CI infastructure
The file was addedAdmin/components/ci-extras
The file was addedAdmin/jenkins/ci-extras/README
The file was addedAdmin/jenkins/ci-extras/etc/settings
The file was addedAdmin/jenkins/ci-extras/package
The file was addedAdmin/jenkins/ci-extras/pom.xml