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 3234662 Agda-executable-2.3.0.1 x86_64-darwin 2012-10-24 14:41:55
Succeeded 3234649 Agda-executable-2.3.0.1 i686-linux 2012-10-24 14:23:33
Succeeded 3234643 Agda-executable-2.3.0.1 x86_64-linux 2012-10-24 14:23:44
Succeeded 3180754 Agda-executable-2.3.0.1 x86_64-linux 2012-10-11 11:20:04
Succeeded 3180465 Agda-executable-2.3.0.1 x86_64-darwin 2012-10-11 12:37:00
Succeeded 3180338 Agda-executable-2.3.0.1 i686-linux 2012-10-11 11:14:48
Succeeded 3141730 Agda-executable-2.3.0.1 x86_64-darwin 2012-10-08 19:56:52
Succeeded 3140990 Agda-executable-2.3.0.1 i686-linux 2012-10-08 15:34:30
Succeeded 3139796 Agda-executable-2.3.0.1 x86_64-linux 2012-10-08 15:52:24
Succeeded 3044057 Agda-executable-2.3.0.1 x86_64-darwin 2012-09-17 20:56:22
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)