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

# Finished at Package/release name System
Succeeded 10815194 2014-05-04 Agda-executable-2.3.0.1 x86_64-linux
Aborted 10788773 2014-05-03 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10769589 2014-05-02 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10731937 2014-05-02 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10696951 2014-04-30 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10678890 2014-04-28 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10659583 2014-04-24 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10597997 2014-04-24 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10575812 2014-04-24 Agda-executable-2.3.0.1 x86_64-linux
Succeeded 10568027 2014-04-23 Agda-executable-2.3.0.1 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)