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 4332565 Agda-executable-2.3.0.1 i686-linux 2013-03-08 16:36:18
Succeeded 4332282 Agda-executable-2.3.0.1 x86_64-linux 2013-03-08 18:33:29
Succeeded 4299203 Agda-executable-2.3.0.1 i686-linux 2013-03-07 23:46:39
Succeeded 4297986 Agda-executable-2.3.0.1 x86_64-linux 2013-03-07 23:45:30
Succeeded 4251293 Agda-executable-2.3.0.1 i686-linux 2013-02-28 12:12:04
Succeeded 4250851 Agda-executable-2.3.0.1 x86_64-linux 2013-02-28 17:14:46
Succeeded 4033200 Agda-executable-2.3.0.1 i686-linux 2013-02-09 20:13:44
Succeeded 4032820 Agda-executable-2.3.0.1 x86_64-linux 2013-02-09 20:11:27
Succeeded 3904665 Agda-executable-2.3.0.1 i686-linux 2013-01-25 16:51:29
Succeeded 3903869 Agda-executable-2.3.0.1 x86_64-linux 2013-01-25 16:24:08
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)