Evaluation #17532

Evaluation completed 15 Oct 19:56 +0200 in 65 minutes.

InputCommit
https://git.savannah.gnu.org/git/guix.git61263e1ba3a5d9b31da5876b1c5248cee3859996

Builds of evaluation #17532

IDSpecificationCompletion timeJobNameSystemLog
3328325guix-mastercoq-interval-4.0.0.i686-linuxcoq-interval-4.0.0i686-linux
3328453guix-masterocaml4.07-splittable-random-0.11.0.aarch64-linuxocaml4.07-splittable-random-0.11.0aarch64-linux
3328323guix-masterproof-general-4.4.i686-linuxproof-general-4.4i686-linux
3328208guix-masterocaml-tsdl-0.9.7.i686-linuxocaml-tsdl-0.9.7i686-linux
3328063guix-masterocaml-fpath-0.7.2.x86_64-linuxocaml-fpath-0.7.2x86_64-linux
3328017guix-masterocaml4.07-ppx-enumerate-0.11.1.x86_64-linuxocaml4.07-ppx-enumerate-0.11.1x86_64-linux
3328009guix-masterocaml-base64-3.4.0.x86_64-linuxocaml-base64-3.4.0x86_64-linux
3328004guix-masterocaml-js-build-tools-113.33.06.x86_64-linuxocaml-js-build-tools-113.33.06x86_64-linux
3327989guix-masterocaml-bos-0.2.0.x86_64-linuxocaml-bos-0.2.0x86_64-linux
3327986guix-masterocaml-easy-format-1.3.2.x86_64-linuxocaml-easy-format-1.3.2x86_64-linux