Project ltsmin

Jobsets

This project has the following jobsets:

Id Description Last evaluated Success
All Failed ltsmin-trunk LTSmin trunk 2010-09-02 23:20:10
0%
0/9

[Create a new jobset]

Information [Edit]

Display name: LTSmin
Description: LTSmin
Homepage: http://fmt.cs.utwente.nl/tools/ltsmin/
Owner: rob
Enabled: Yes

Channels

This project provides the following Nix channels:

  • latest — contains the latest successful build of every job in this project.
  • all — contains every successful, non-garbage-collected build of every job in this project.