mathlib /usr/local/bin/:/Users/mathlib/.elan/bin/:/Users/scott/.opam/default/bin:/Users/scott/.cargo/bin:/Users/scott/.elan/bin:/Users/scott/bin:/Applications/spass39/:/Users/scott/.cargo/bin:/Users/scott/.local/bin:/Users/scott/.mathlib/bin:/Users/scott/.elan/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin:/opt/X11/bin Previous HEAD position was 8f908e7c Stuff Switched to branch 'master' Your branch is behind 'origin/master' by 155 commits, and can be fast-forwarded. (use "git pull" to update your local branch) Trying to fetch cached olean ... successfully fetched local cache. HEAD is now at f2534017 refactor: coherent composition order (#1055) From https://github.com/leanprover-community/mathlib a33315d5..8a5156fc master -> origin/master + ab2dca29...b70e14a2 100-thms -> origin/100-thms (forced update) * [new branch] Mon_bundled_hom -> origin/Mon_bundled_hom + 3e2a7e41...a4fb3750 algebraic_closure -> origin/algebraic_closure (forced update) * [new branch] amswerdlow-patch-1 -> origin/amswerdlow-patch-1 faf6729b..9e312e29 array -> origin/array d58c8cea..f4b3a008 back -> origin/back * [new branch] binary_products -> origin/binary_products * [new branch] bun_subs_with_new_toadditive -> origin/bun_subs_with_new_toadditive * [new branch] bundled_submonoids -> origin/bundled_submonoids * [new branch] cartesian-category -> origin/cartesian-category * [new branch] category_instances_reorg -> origin/category_instances_reorg * [new branch] category_no_sorts -> origin/category_no_sorts * [new branch] category_sorts -> origin/category_sorts * [new branch] category_theory_option -> origin/category_theory_option * [new branch] dec_eq -> origin/dec_eq * [new branch] dim_finsupp -> origin/dim_finsupp * [new branch] domineering -> origin/domineering * [new branch] enriched -> origin/enriched * [new branch] enumerable -> origin/enumerable * [new branch] fix_finite_limits -> origin/fix_finite_limits * [new branch] fpvandoorn-patch-1 -> origin/fpvandoorn-patch-1 * [new branch] hcomp_assoc -> origin/hcomp_assoc 74977f8d..e1560e4a henselian -> origin/henselian * [new branch] kappelmann_topology -> origin/kappelmann_topology a8c29236..8e46fa5a lean-3.4.2 -> origin/lean-3.4.2 * [new branch] linarith -> origin/linarith * [new branch] local_predicate -> origin/local_predicate * [new branch] lucas_lehmer -> origin/lucas_lehmer * [new branch] power-series-order -> origin/power-series-order 7a77348c..74bedc15 prime-avoidance -> origin/prime-avoidance * [new branch] prod_notation -> origin/prod_notation * [new branch] reduce_projections -> origin/reduce_projections 88e3c6d6..78417c78 rewrite-search -> origin/rewrite-search * [new branch] setoid_complete_lattice -> origin/setoid_complete_lattice * [new branch] sheaves -> origin/sheaves * [new branch] short_game -> origin/short_game * [new branch] smaller-limits -> origin/smaller-limits * [new branch] succ_pos -> origin/succ_pos e4deb133..171f0bfd surreal -> origin/surreal * [new branch] variable-a -> origin/variable-a Note: checking out 'b70e14a2bf6f8c20249b55768c382f64c96c4dad'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by performing another checkout. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -b with the checkout command again. Example: git checkout -b HEAD is now at b70e14a2 fix name 20 Trying to fetch cached olean Info: No github section found in 'git config', we will use GitHub with no authentication Querying GitHub... Error: no nightly archive found no cache found ./build: line 14: 76812 Killed: 9 nice -n 8 /usr/local/bin/gtimeout 45m /Users/mathlib/.elan/bin/lean -j 6 --make src ... successfully made olean cache. building file list ... 0 files... 100 files... 200 files... 300 files... 400 files... 500 files... 524 files to consider