Overview

Job 746

CakeML:733a34d499eb121628e888ad1aa7a30599b91311
  Merge pull request #618 from CakeML/monadic-trans-cleanup
HOL:f81f788a2317b322d740c0f776861e3fb33d14dd
  Extend CONTRIBUTORS list with names taken from commit messages
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               2s  21MB
 Starting developers/bin
 Finished developers/bin                                        1m11s 918MB
 Starting semantics/ffi
 Finished semantics/ffi                                           38s 317MB
 Starting semantics
 Finished semantics                                             1m34s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      2m53s 916MB
 Starting basis/pure
 Finished basis/pure                                            3m36s 645MB
 Starting translator
 Finished translator                                            1m40s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                        57s   2GB
 Starting characteristic
 Finished characteristic                                        4m14s   1GB
 Starting translator/monadic
 Finished translator/monadic                                    1m29s   1GB
 Starting basis
 Finished basis                                                16m50s   2GB
 Starting compiler/inference
 Finished compiler/inference                                    1m50s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                              52s   1GB
 Starting compiler/backend/gc
 Finished compiler/backend/gc                                   8m57s   2GB
 Starting compiler/backend
 Finished compiler/backend                                         2s  23MB
 Starting compiler/encoders/asm
 Finished compiler/encoders/asm                                    1s  13MB
 Starting compiler/encoders/x64
 Finished compiler/encoders/x64                                   59s 856MB
 Starting compiler/encoders/arm6
 Finished compiler/encoders/arm6                                1m38s   1GB
 Starting compiler/encoders/arm8
 Finished compiler/encoders/arm8                                  32s 568MB
 Starting compiler/encoders/mips
 Finished compiler/encoders/mips                                1m04s 839MB
 Starting compiler/encoders/riscv
 Finished compiler/encoders/riscv                               1m06s 812MB
 Starting compiler/encoders/ag32
 Finished compiler/encoders/ag32                                  16s 742MB
 Starting compiler/backend/x64
 Finished compiler/backend/x64                                    17s   1GB
 Starting compiler/backend/arm6
 Finished compiler/backend/arm6                                   19s   1GB
 Starting compiler/backend/arm8
 Finished compiler/backend/arm8                                   18s   1GB
 Starting compiler/backend/mips
 Finished compiler/backend/mips                                   18s   1GB
 Starting compiler/backend/riscv
 Finished compiler/backend/riscv                                  18s   1GB
 Starting compiler/backend/ag32
 Finished compiler/backend/ag32                                 1m06s   1GB