removed somewhat pointless support for Jenkins log files: it has stopped…
536c033fb6eb
Actions

Description

removed somewhat pointless support for Jenkins log files: it has stopped working long ago;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

etc/

rISABELLE536c033fb6eb

etc/build.props

src/Pure/Admin/build_log.scala

src/Pure/Admin/build_status.scala

src/Pure/Admin/isabelle_cronjob.scala

src/Pure/Admin/jenkins.scala

removed somewhat pointless support for Jenkins log files: it has stopped…536c033fb6ebActions

Description

Details

Changes (8)

rISABELLE536c033fb6eb

etc/build.props

src/Pure/Admin/build_log.scala

src/Pure/Admin/build_status.scala

src/Pure/Admin/isabelle_cronjob.scala

src/Pure/Admin/jenkins.scala

removed somewhat pointless support for Jenkins log files: it has stopped…
536c033fb6eb
Actions