Project ltsmin

Jobsets

This project has the following jobsets:

Id Description Last evaluated
ltsmin-trunk LTSmin trunk 2010-03-11 16:09:03

[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.