This job is not a member of the latest evaluation of its jobset. This means it was removed or had an evaluation error.

Latest builds

# Release name System Finished at
Succeeded 10815194 Agda-executable-2.3.0.1 x86_64-linux 2014-05-04 11:21:35
Aborted 10788773 Agda-executable-2.3.0.1 x86_64-linux 2014-05-03 15:12:25
Succeeded 10769589 Agda-executable-2.3.0.1 x86_64-linux 2014-05-02 21:41:31
Succeeded 10731937 Agda-executable-2.3.0.1 x86_64-linux 2014-05-02 21:09:04
Succeeded 10696951 Agda-executable-2.3.0.1 x86_64-linux 2014-04-30 02:56:06
Succeeded 10678890 Agda-executable-2.3.0.1 x86_64-linux 2014-04-28 20:31:40
Succeeded 10659583 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 12:20:46
Succeeded 10597997 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 11:42:14
Succeeded 10575812 Agda-executable-2.3.0.1 x86_64-linux 2014-04-24 07:59:35
Succeeded 10568027 Agda-executable-2.3.0.1 x86_64-linux 2014-04-23 04:03:34
More...