[Hol-developers] New hol-builds mailing list

[Michael N. <Mic...@ni...>]

I've just subscribed some recent committers to the hol-builds mailing list.  This will send you messages each day telling you the status of the automatic attempts to build the system that I am running via cron.

The subject lines are usually enough to convey the whole message.

For example

   [Hol-builds] FAILURE: -expk:8360:mosml

vs

   [Hol-builds] SUCCESS: -stdknl:8345:poly

etc.

The body of the message has more information about the machines that are running the tests.

If you really aren't interested in seeing this, unsubscription is at

   http://lists.sourceforge.net/lists/listinfo/hol-builds

Michael