Job 746

CakeML:733a34d499eb121628e888ad1aa7a30599b91311
  Merge pull request #618 from CakeML/monadic-trans-cleanup [Feb 25 11:13:00]
HOL:f81f788a2317b322d740c0f776861e3fb33d14dd
  Extend CONTRIBUTORS list with names taken from commit messages [Feb 26 00:32:27]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Feb 28 20:52:23 Claimed job
Feb 28 20:52:57 Building HOL
Feb 28 21:02:05 Starting developers
Feb 28 21:02:08 Finished developers                                               2s  21MB
Feb 28 21:02:08 Starting developers/bin
Feb 28 21:03:20 Finished developers/bin                                        1m11s 918MB
Feb 28 21:03:21 Starting semantics/ffi
Feb 28 21:04:00 Finished semantics/ffi                                           38s 317MB
Feb 28 21:04:01 Starting semantics
Feb 28 21:05:36 Finished semantics                                             1m34s   1GB
Feb 28 21:05:37 Starting semantics/proofs
Feb 28 21:08:30 Finished semantics/proofs                                      2m53s 916MB
Feb 28 21:08:31 Starting basis/pure
Feb 28 21:12:08 Finished basis/pure                                            3m36s 645MB
Feb 28 21:12:09 Starting translator
Feb 28 21:13:50 Finished translator                                            1m40s   1GB
Feb 28 21:13:51 Starting compiler/parsing
Feb 28 21:14:49 Finished compiler/parsing                                        57s   2GB
Feb 28 21:14:49 Starting characteristic
Feb 28 21:19:04 Finished characteristic                                        4m14s   1GB
Feb 28 21:19:05 Starting translator/monadic
Feb 28 21:20:35 Finished translator/monadic                                    1m29s   1GB
Feb 28 21:20:36 Starting basis
Feb 28 21:37:28 Finished basis                                                16m50s   2GB
Feb 28 21:37:28 Starting compiler/inference
Feb 28 21:39:19 Finished compiler/inference                                    1m50s   1GB
Feb 28 21:39:20 Starting compiler/backend/reg_alloc
Feb 28 21:40:13 Finished compiler/backend/reg_alloc                              52s   1GB
Feb 28 21:40:13 Starting compiler/backend/gc
Feb 28 21:49:11 Finished compiler/backend/gc                                   8m57s   2GB
Feb 28 21:49:12 Starting compiler/backend
Feb 28 21:49:15 Finished compiler/backend                                         2s  23MB
Feb 28 21:49:16 Starting compiler/encoders/asm
Feb 28 21:49:18 Finished compiler/encoders/asm                                    1s  13MB
Feb 28 21:49:18 Starting compiler/encoders/x64
Feb 28 21:50:19 Finished compiler/encoders/x64                                   59s 856MB
Feb 28 21:50:19 Starting compiler/encoders/arm6
Feb 28 21:51:58 Finished compiler/encoders/arm6                                1m38s   1GB
Feb 28 21:51:59 Starting compiler/encoders/arm8
Feb 28 21:52:32 Finished compiler/encoders/arm8                                  32s 568MB
Feb 28 21:52:33 Starting compiler/encoders/mips
Feb 28 21:53:38 Finished compiler/encoders/mips                                1m04s 839MB
Feb 28 21:53:38 Starting compiler/encoders/riscv
Feb 28 21:54:46 Finished compiler/encoders/riscv                               1m06s 812MB
Feb 28 21:54:47 Starting compiler/encoders/ag32
Feb 28 21:55:04 Finished compiler/encoders/ag32                                  16s 742MB
Feb 28 21:55:05 Starting compiler/backend/x64
Feb 28 21:55:23 Finished compiler/backend/x64                                    17s   1GB
Feb 28 21:55:24 Starting compiler/backend/arm6
Feb 28 21:55:44 Finished compiler/backend/arm6                                   19s   1GB
Feb 28 21:55:45 Starting compiler/backend/arm8
Feb 28 21:56:03 Finished compiler/backend/arm8                                   18s   1GB
Feb 28 21:56:04 Starting compiler/backend/mips
Feb 28 21:56:24 Finished compiler/backend/mips                                   18s   1GB
Feb 28 21:56:24 Starting compiler/backend/riscv
Feb 28 21:56:43 Finished compiler/backend/riscv                                  18s   1GB
Feb 28 21:56:44 Starting compiler/backend/ag32
Feb 28 21:57:50 Finished compiler/backend/ag32                                 1m06s   1GB