[isabelle-dev] Remaining uses of isatest/afptest

Lars Hupel hupel at in.tum.de
Thu Apr 21 14:01:23 CEST 2016


Dear Isabelle developers,

our Jenkins instance is about to replace the last piece of missing
functionality from afptest: sending mails to maintainers.

Yesterday, I switched on "artifacts", which means Jenkins now builds &
archives "browser_info" and PDF output. This can be witnessed e.g. here:*


<https://ci.isabelle.systems/jenkins/job/isabelle-repo-makeall/lastSuccessfulBuild/artifact/browser_info/Doc/System/>


<https://ci.isabelle.systems/jenkins/job/afp-repo-afp/lastSuccessfulBuild/artifact/browser_info/AFP/AWN/>

Unless I'm missing something, this now means we have basically 100%
feature parity.

In best Isabelle tradition, I'm asking the question: Are there any
remaining uses of isatest or afptest?

If not, I will contact our system administrators and ask them to shut
down the old infrastructure (over the course of the next one or two
months).**

Cheers
Lars


* I'm aware that it is hard to find these things in Jenkins – I will add
a link collection to the status page (<https://ci.isabelle.systems/status/>)

** this will free up some Mac boxes which can then be rolled back and
integrated into Jenkins


More information about the isabelle-dev mailing list