Verification run

Run 5

Gogopex/pfr branch master triggered via manual

failed commit manual toolchain lean-v4-28-0-rc1 prover lean took 2m 1s · finished 7w ago

lake build failed with exit code 1 (toolchain lean-v4-28-0-rc1, command: elan run leanprover/lean4:v4.28.0-rc1 -- lake build)

Open project

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

(no log excerpt)

Command runs

git_clone exit 0 duration 626 ms · created 6/1/2026, 3:03:59 PM

git clone --depth 1 --branch master --single-branch https://github.com/Gogopex/pfr.git /var/lib/apodeixis/repos/job-5-source

Cloning into '/var/lib/apodeixis/repos/job-5-source'...

lake_cache exit 0 duration 1m 49s · created 6/1/2026, 3:03:59 PM

lake exe cache get

installing leantar 0.1.16
Fetching ProofWidgets cloud release... done!
Current branch: HEAD
Using cache (Azure) from origin: leanprover-community/mathlib4
Attempting to download 7954 file(s) from leanprover-community/mathlib4 cache
Decompressing 7954 file(s)
Unpacked in 17857 ms
Completed successfully!

info: downloading https://releases.lean-lang.org/lean4/v4.28.0-rc1/lean-4.28.0-rc1-linux.tar.zst
info: installing /root/.elan/toolchains/leanprover--lean4---v4.28.0-rc1
info: checkdecls: cloning https://github.com/PatrickMassot/checkdecls.git
info: checkdecls: checking out revision '3d425859e73fcfbef85b9638c2a91708ef4a22d4'
info: APAP: cloning https://github.com/YaelDillies/apap.git
info: APAP: checking out revision '13fd6dd3a47445b6dd10826f0ffc1116f4e13144'
info: mathlib: cloning https://github.com/leanprover-community/mathlib4.git
info: mathlib: checking out revision '507f18fc9044549fc730d8d0270521e3b090360a'
info: plausible: cloning https://github.com/leanprover-community/plausible
info: plausible: checking out revision '7311586e1a56af887b1081d05e80c11b6c41d212'
info: LeanSearchClient: cloning https://github.com/leanprover-community/LeanSearchClient
info: LeanSearchClient: checking out revision '5ce7f0a355f522a952a3d678d696bd563bb4fd28'
info: importGraph: cloning https://github.com/leanprover-community/import-graph
info: importGraph: checking out revision 'b5908dbac486279f1133cb937648c63c30b455af'
info: proofwidgets: cloning https://github.com/leanprover-community/ProofWidgets4
info: proofwidgets: checking out revision '6d65c6e0a25b8a52c13c3adeb63ecde3bfbb6294'
info: aesop: cloning https://github.com/leanprover-community/aesop
info: aesop: checking out revision 'f08e838d4f9aea519f3cde06260cfb686fd4bab0'
info: Qq: cloning https://github.com/leanprover-community/quote4
info: Qq: checking out revision '23324752757bf28124a518ec284044c8db79fee5'
info: batteries: cloning https://github.com/leanprover-community/batteries
info: batteries: checking out revision '0100f1a3222df01286db33fcb6a1f98564f5439d'
info: Cli: cloning https://github.com/leanprover/lean4-cli
info: Cli: checking out revision '28e0856d4424863a85b18f38868c5420c55f9bae'
✔ [2/22] Built Cache.Lean (482ms)
✔ [3/22] Built Cache.Init (403ms)
✔ [4/22] Built Cache.Lean:c.o (105ms)
✔ [5/22] Built Cache.Init:c.o (96ms)
✔ [6/22] Built Cache.IO (1.5s)
✔ [7/22] Built Cache.Hashing (725ms)
✔ [8/22] Built Cache.Hashing:c.o (427ms)
✔ [9/22] Built Cache.IO:c.o (1.3s)
✔ [15/22] Built Batteries.Data.String.Basic:c.o (109ms)
✔ [16/22] Built Batteries.Data.Array.Match:c.o (214ms)
✔ [17/22] Built Batteries.Data.String.Matcher:c.o (172ms)
✔ [18/22] Built Cache.Requests (1.4s)
✔ [19/22] Built Cache.Main (723ms)
✔ [20/22] Built Cache.Main:c.o (456ms)
✔ [21/22] Built Cache.Requests:c.o (1.3s)
✔ [22/22] Built cache:exe (888ms)
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

100 1125k  100 1125k    0     0  3086k      0 --:--:-- --:--:-- --:--:-- 3086k


Downloaded: 1 file(s) [attempted 1/7954 = 0%, 11 KB/s]
Downloaded: 11 file(s) [attempted 11/7954 = 0%, 5 KB/s]
Downloaded: 34 file(s) [attempted 34/7954 = 0%, 19 KB/s]
Downloaded: 58 file(s) [attempted 58/7954 = 0%, 69 KB/s]
Downloaded: 79 file(s) [attempted 79/7954 = 0%, 228 KB/s]
Downloaded: 110 file(s) [attempted 110/7954 = 1%, 155 KB/s]
Downloaded: 134 file(s) [attempted 134/7954 = 1%, 95 KB/s]
Downloaded: 172 file(s) [attempted 172/7954 = 2%, 638 KB/s]
Downloaded: 210 file(s) [attempted 210/7954 = 2%, 850 KB/s]
Downloaded: 237 file(s) [attempted 237/7954 = 2%, 285 KB/s]
Downloaded: 278 file(s) [attempted 278/7954 = 3%, 102 KB/s]
Downloaded: 319 file(s) [attempted 319/7954 = 4%, 231 KB/s]
Downloaded: 357 file(s) [attempted 357/7954 = 4%, 973 KB/s]
Downloaded: 391 file(s) [attempted 391/7954 = 4%, 226 KB/s]
Downloaded: 429 file(s) [attempted 429/7954 = 5%, 384 KB/s]
Downloaded: 466 file(s) [attempted 466/7954 = 5%, 1380 KB/s]
Downloaded: 504 file(s) [attempted 504/7954 = 6%, 164 KB/s]
Downloaded: 538 file(s) [attempted 538/7954 = 6%, 240 KB/s]
Downloaded: 580 file(s) [attempted 580/7954 = 7%, 98 KB/s]
Downloaded: 614 file(s) [attempted 614/7954 = 7%, 127 KB/s]
Downloaded: 655 file(s) [attempted 655/7954 = 8%, 152 KB/s]
Downloaded: 699 file(s) [attempted 699/7954 = 8%, 91 KB/s]
Downloaded: 734 file(s) [attempted 734/7954 = 9%, 420 KB/s]
Downloaded: 768 file(s) [attempted 768/7954 = 9%, 448 KB/s]
Downloaded: 809 file(s) [attempted 809/7954 = 10%, 1181 KB/s]
Downloaded: 843 file(s) [attempted 843/7954 = 10%, 53 KB/s]
Downloaded: 878 file(s) [attempted 878/7954 = 11%, 152 KB/s]
Downloaded: 919 file(s) [attempted 919/7954 = 11%, 223 KB/s]
Downloaded: 963 file(s) [attempted 963/7954 = 12%, 156 KB/s]
Downloaded: 997 file(s) [attempted 997/7954 = 12%, 56 KB/s]
Downloaded: 1038 file(s) [attempted 1038/7954 = 13%, 424 KB/s]
Downloaded: 1076 file(s) [attempted 1076/7954 = 13%, 328 KB/s]
Downloaded: 1114 file(s) [attempted 1114/7954 = 14%, 192 KB/s]
Downloaded: 1141 file(s) [attempted 1141/7954 = 14%, 756 KB/s]
Downloaded: 1182 file(s) [attempted 1182/7954 = 14%, 142 KB/s]
Downloaded: 1223 file(s) [attempted 1223/7954 = 15%, 150 KB/s]
Downloaded: 1261 file(s) [attempted 1261/7954 = 15%, 736 KB/s]
Downloaded: 1295 file(s) [attempted 1295/7954 = 16%, 225 KB/s]
Downloaded: 1329 file(s) [attempted 1329/7954 = 16%, 194 KB/s]
Downloaded: 1377 file(s) [attempted 1377/7954 = 17%, 105 KB/s]
Downloaded: 1418 file(s) [attempted 1418/7954 = 17%, 83 KB/s]
Downloaded: 1453 file(s) [attempted 1453/7954 = 18%, 73 KB/s]
Downloaded: 1487 file(s) [attempted 1487/7954 = 18%, 693 KB/s]
Downloaded: 1528 file(s) [attempted 1528/7954 = 19%, 405 KB/s]
Downloaded: 1565 file(s) [attempted 1565/7954 = 19%, 760 KB/s]
Downloaded: 1603 file(s) [attempted 1603/7954 = 20%, 321 KB/s]
Downloaded: 1634 file(s) [attempted 1634/7954 = 20%, 256 KB/s]
Downloaded: 1675 file(s) [attempted 1675/7954 = 21%, 114 KB/s]
Downloaded: 1713 file(s) [attempted 1713/7954 = 21%, 188 KB/s]
Downloaded: 1747 file(s) [attempted 1747/7954 = 21%, 128 KB/s]
Downloaded: 1781 file(s) [attempted 1781/7954 = 22%, 158 KB/s]
Downloaded: 1822 file(s) [attempted 1822/7954 = 22%, 256 KB/s]
Downloaded: 1860 file(s) [attempted 1860/7954 = 23%, 138 KB/s]
Downloaded: 1897 file(s) [attempted 1897/7954 = 23%, 155 KB/s]
Downloaded: 1925 file(s) [attempted 1925/7954 = 24%, 192 KB/s]
Downloaded: 1966 file(s) [attempted 1966/7954 = 24%, 33 KB/s]
Downloaded: 2007 file(s) [attempted 2007/7954 = 25%, 30 KB/s]
Downloaded: 2045 file(s) [attempted 2045/7954 = 25%, 272 KB/s]
Downloaded: 2085 file(s) [attempted 2085/7954 = 26%, 98 KB/s]
Downloaded: 2113 file(s) [attempted 2113/7954 = 26%, 334 KB/s]
Downloaded: 2154 file(s) [attempted 2154/7954 = 27%, 577 KB/s]
Downloaded: 2195 file(s) [attempted 2195/7954 = 27%, 126 KB/s]
Downloaded: 2236 file(s) [attempted 2236/7954 = 28%, 86 KB/s]
Downloaded: 2274 file(s) [attempted 2274/7954 = 28%, 132 KB/s]
Downloaded: 2308 file(s) [attempted 2308/7954 = 29%, 402 KB/s]
Downloaded: 2349 file(s) [attempted 2349/7954 = 29%, 61 KB/s]
Downloaded: 2387 file(s) [attempted 2387/7954 = 30%, 105 KB/s]
Downloaded: 2421 file(s) [attempted 2421/7954 = 30%, 669 KB/s]
Downloaded: 2459 file(s) [attempted 2459/7954 = 30%, 412 KB/s]
Downloaded: 2500 file(s) [attempted 2500/7954 = 31%, 59 KB/s]
Downloaded: 2541 file(s) [attempted 2541/7954 = 31%, 259 KB/s]
Downloaded: 2572 file(s) [attempted 2572/7954 = 32%, 332 KB/s]
Downloaded: 2609 file(s) [attempted 2609/7954 = 32%, 165 KB/s]
Downloaded: 2644 file(s) [attempted 2644/7954 = 33%, 682 KB/s]
Downloaded: 2685 file(s) [attempted 2685/7954 = 33%, 148 KB/s]
Downloaded: 2719 file(s) [attempted 2719/7954 = 34%, 177 KB/s]
Downloaded: 2756 file(s) [attempted 2756/7954 = 34%, 790 KB/s]
Downloaded: 2794 file(s) [attempted 2794/7954 = 35%, 701 KB/s]
Downloaded: 2828 file(s) [attempted 2828/7954 = 35%, 507 KB/s]
Downloaded: 2869 file(s) [attempted 2869/7954 = 36%, 152 KB/s]
Downloaded: 2910 file(s) [attempted 2910/7954 = 36%, 304 KB/s]
Downloaded: 2945 file(s) [attempted 2945/7954 = 37%, 101 KB/s]
Downloaded: 2979 file(s) [attempted 2979/7954 = 37%, 237 KB/s]
Downloaded: 3020 file(s) [attempted 3020/7954 = 37%, 61 KB/s]
Downloaded: 3061 file(s) [attempted 3061/7954 = 38%, 536 KB/s]
Downloaded: 3092 file(s) [attempted 3092/7954 = 38%, 173 KB/s]
Downloaded: 3126 file(s) [attempted 3126/7954 = 39%, 635 KB/s]
Downloaded: 3171 file(s) [attempted 3171/7954 = 39%, 252 KB/s]
Downloaded: 3208 file(s) [attempted 3208/7954 = 40%, 192 KB/s]
Downloaded: 3246 file(s) [attempted 3246/7954 = 40%, 504 KB/s]
Downloaded: 3277 file(s) [attempted 3277/7954 = 41%, 1749 KB/s]
Downloaded: 3321 file(s) [attempted 3321/7954 = 41%, 85 KB/s]
Downloaded: 3362 file(s) [attempted 3362/7954 = 42%, 115 KB/s]
Downloaded: 3396 file(s) [attempted 3396/7954 = 42%, 385 KB/s]
Downloaded: 3437 file(s) [attempted 3437/7954 = 43%, 251 KB/s]
Downloaded: 3475 file(s) [attempted 3475/7954 = 43%, 51 KB/s]
Downloaded: 3516 file(s) [attempted 3516/7954 = 44%, 228 KB/s]
Downloaded: 3557 file(s) [attempted 3557/7954 = 44%, 66 KB/s]
Downloaded: 3591 file(s) [attempted 3591/7954 = 45%, 252 KB/s]
Downloaded: 3626 file(s) [attempted 3626/7954 = 45%, 782 KB/s]
Downloaded: 3667 file(s) [attempted 3667/7954 = 46%, 335 KB/s]
Downloaded: 3708 file(s) [attempted 3708/7954 = 46%, 437 KB/s]
Downloaded: 3739 file(s) [attempted 3739/7954 = 47%, 333 KB/s]
Downloaded: 3773 file(s) [attempted 3773/7954 = 47%, 53 KB/s]
Downloaded: 3811 file(s) [attempted 3811/7954 = 47%, 120 KB/s]
Downloaded: 3848 file(s) [attempted 3848/7954 = 48%, 584 KB/s]
Downloaded: 3886 file(s) [attempted 3886/7954 = 48%, 239 KB/s]
Downloaded: 3920 file(s) [attempted 3920/7954 = 49%, 253 KB/s]
Downloaded: 3958 file(s) [attempted 3958/7954 = 49%, 575 KB/s]
Downloaded: 3990 file(s) [attempted 3990/7954 = 50%, 376 KB/s]
Downloaded: 4026 file(s) [attempted 4026/7954 = 50%, 223 KB/s]
Downloaded: 4067 file(s) [attempted 4067/7954 = 51%, 80 KB/s]
Downloaded: 4101 file(s) [attempted 4101/7954 = 51%, 430 KB/s]
Downloaded: 4142 file(s) [attempted 4142/7954 = 52%, 102 KB/s]
Downloaded: 4180 file(s) [attempted 4180/7954 = 52%, 167 KB/s]
Downloaded: 4218 file(s) [attempted 4218/7954 = 53%, 93 KB/s]
Downloaded: 4255 file(s) [attempted 4255/7954 = 53%, 250 KB/s]
Downloaded: 4293 file(s) [attempted 4293/7954 = 53%, 909 KB/s]
Downloaded: 4327 file(s) [attempted 4327/7954 = 54%, 603 KB/s]
Downloaded: 4365 file(s) [attempted 4365/7954 = 54%, 285 KB/s]
Downloaded: 4409 file(s) [attempted 4409/7954 = 55%, 1036 KB/s]
Downloaded: 4444 file(s) [attempted 4444/7954 = 55%, 622 KB/s]
Downloaded: 4481 file(s) [attempted 4481/7954 = 56%, 102 KB/s]
Downloaded: 4519 file(s) [attempted 4519/7954 = 56%, 166 KB/s]
Downloaded: 4560 file(s) [attempted 4560/7954 = 57%, 153 KB/s]
Downloaded: 4598 file(s) [attempted 4598/7954 = 57%, 2107 KB/s]
Downloaded: 4635 file(s) [attempted 4635/7954 = 58%, 42 KB/s]
Downloaded: 4673 file(s) [attempted 4673/7954 = 58%, 1235 KB/s]
Downloaded: 4711 file(s) [attempted 4711/7954 = 59%, 77 KB/s]
Downloaded: 4752 file(s) [attempted 4752/7954 = 59%, 165 KB/s]
Downloaded: 4789 file(s) [attempted 4789/7954 = 60%, 369 KB/s]
Downloaded: 4827 file(s) [attempted 4827/7954 = 60%, 289 KB/s]
Downloaded: 4865 file(s) [attempted 4865/7954 = 61%, 425 KB/s]
Downloaded: 4902 file(s) [attempted 4902/7954 = 61%, 111 KB/s]
Downloaded: 4933 file(s) [attempted 4933/7954 = 62%, 104 KB/s]
Downloaded: 4978 file(s) [attempted 4978/7954 = 62%, 52 KB/s]
Downloaded: 5015 file(s) [attempted 5015/7954 = 63%, 201 KB/s]
Downloaded: 5049 file(s) [attempted 5049/7954 = 63%, 260 KB/s]
Downloaded: 5094 file(s) [attempted 5094/7954 = 64%, 228 KB/s]
Downloaded: 5125 file(s) [attempted 5125/7954 = 64%, 806 KB/s]
Downloaded: 5166 file(s) [attempted 5166/7954 = 64%, 244 KB/s]
Downloaded: 5203 file(s) [attempted 5203/7954 = 65%, 468 KB/s]
Downloaded: 5241 file(s) [attempted 5241/7954 = 65%, 87 KB/s]
Downloaded: 5275 file(s) [attempted 5275/7954 = 66%, 109 KB/s]
Downloaded: 5316 file(s) [attempted 5316/7954 = 66%, 1551 KB/s]
Downloaded: 5354 file(s) [attempted 5354/7954 = 67%, 123 KB/s]
Downloaded: 5395 file(s) [attempted 5395/7954 = 67%, 152 KB/s]
Downloaded: 5433 file(s) [attempted 5433/7954 = 68%, 194 KB/s]
Downloaded: 5470 file(s) [attempted 5470/7954 = 68%, 282 KB/s]
Downloaded: 5505 file(s) [attempted 5505/7954 = 69%, 357 KB/s]
Downloaded: 5546 file(s) [attempted 5546/7954 = 69%, 327 KB/s]
Downloaded: 5594 file(s) [attempted 5594/7954 = 70%, 41 KB/s]
Downloaded: 5631 file(s) [attempted 5631/7954 = 70%, 279 KB/s]
Downloaded: 5665 file(s) [attempted 5665/7954 = 71%, 111 KB/s]
Downloaded: 5706 file(s) [attempted 5706/7954 = 71%, 168 KB/s]
Downloaded: 5744 file(s) [attempted 5744/7954 = 72%, 172 KB/s]
Downloaded: 5785 file(s) [attempted 5785/7954 = 72%, 82 KB/s]
Downloaded: 5823 file(s) [attempted 5823/7954 = 73%, 68 KB/s]
Downloaded: 5857 file(s) [attempted 5857/7954 = 73%, 106 KB/s]
Downloaded: 5891 file(s) [attempted 5891/7954 = 74%, 105 KB/s]
Downloaded: 5929 file(s) [attempted 5929/7954 = 74%, 70 KB/s]
Downloaded: 5963 file(s) [attempted 5963/7954 = 74%, 76 KB/s]
Downloaded: 5997 file(s) [attempted 5997/7954 = 75%, 104 KB/s]
Downloaded: 6035 file(s) [attempted 6035/7954 = 75%, 212 KB/s]
Downloaded: 6073 file(s) [attempted 6073/7954 = 76%, 460 KB/s]
Downloaded: 6114 file(s) [attempted 6114/7954 = 76%, 676 KB/s]
Downloaded: 6148 file(s) [attempted 6148/7954 = 77%, 158 KB/s]
Downloaded: 6182 file(s) [attempted 6182/7954 = 77%, 643 KB/s]
Downloaded: 6223 file(s) [attempted 6223/7954 = 78%, 478 KB/s]
Downloaded: 6261 file(s) [attempted 6261/7954 = 78%, 59 KB/s]
Downloaded: 6299 file(s) [attempted 6299/7954 = 79%, 32 KB/s]
Downloaded: 6336 file(s) [attempted 6336/7954 = 79%, 132 KB/s]
Downloaded: 6370 file(s) [attempted 6370/7954 = 80%, 342 KB/s]
Downloaded: 6411 file(s) [attempted 6411/7954 = 80%, 145 KB/s]
Downloaded: 6453 file(s) [attempted 6453/7954 = 81%, 295 KB/s]
Downloaded: 6483 file(s) [attempted 6483/7954 = 81%, 172 KB/s]
Downloaded: 6524 file(s) [attempted 6524/7954 = 82%, 244 KB/s]
Downloaded: 6565 file(s) [attempted 6565/7954 = 82%, 129 KB/s]
Downloaded: 6603 file(s) [attempted 6603/7954 = 83%, 314 KB/s]
Downloaded: 6644 file(s) [attempted 6644/7954 = 83%, 263 KB/s]
Downloaded: 6678 file(s) [attempted 6678/7954 = 83%, 1654 KB/s]
Downloaded: 6719 file(s) [attempted 6719/7954 = 84%, 135 KB/s]
Downloaded: 6754 file(s) [attempted 6754/7954 = 84%, 728 KB/s]
Downloaded: 6795 file(s) [attempted 6795/7954 = 85%, 85 KB/s]
Downloaded: 6832 file(s) [attempted 6832/7954 = 85%, 132 KB/s]
Downloaded: 6867 file(s) [attempted 6867/7954 = 86%, 62 KB/s]
Downloaded: 6908 file(s) [attempted 6908/7954 = 86%, 941 KB/s]
Downloaded: 6938 file(s) [attempted 6938/7954 = 87%, 187 KB/s]
Downloaded: 6983 file(s) [attempted 6983/7954 = 87%, 120 KB/s]
Downloaded: 7021 file(s) [attempted 7021/7954 = 88%, 357 KB/s]
Downloaded: 7065 file(s) [attempted 7065/7954 = 88%, 307 KB/s]
Downloaded: 7099 file(s) [attempted 7099/7954 = 89%, 282 KB/s]
Downloaded: 7134 file(s) [attempted 7134/7954 = 89%, 142 KB/s]
Downloaded: 7175 file(s) [attempted 7175/7954 = 90%, 86 KB/s]
Downloaded: 7212 file(s) [attempted 7212/7954 = 90%, 150 KB/s]
Downloaded: 7253 file(s) [attempted 7253/7954 = 91%, 669 KB/s]
Downloaded: 7288 file(s) [attempted 7288/7954 = 91%, 186 KB/s]
Downloaded: 7325 file(s) [attempted 7325/7954 = 92%, 185 KB/s]
Downloaded: 7366 file(s) [attempted 7366/7954 = 92%, 103 KB/s]
Downloaded: 7404 file(s) [attempted 7404/7954 = 93%, 299 KB/s]
Downloaded: 7442 file(s) [attempted 7442/7954 = 93%, 365 KB/s]
Downloaded: 7479 file(s) [attempted 7479/7954 = 94%, 123 KB/s]
Downloaded: 7520 file(s) [attempted 7520/7954 = 94%, 290 KB/s]
Downloaded: 7558 file(s) [attempted 7558/7954 = 95%, 399 KB/s]
Downloaded: 7592 file(s) [attempted 7592/7954 = 95%, 50 KB/s]
Downloaded: 7630 file(s) [attempted 7630/7954 = 95%, 461 KB/s]
Downloaded: 7669 file(s) [attempted 7669/7954 = 96%, 139 KB/s]
Downloaded: 7708 file(s) [attempted 7708/7954 = 96%, 439 KB/s]
Downloaded: 7743 file(s) [attempted 7743/7954 = 97%, 158 KB/s]
Downloaded: 7784 file(s) [attempted 7784/7954 = 97%, 558 KB/s]
Downloaded: 7818 file(s) [attempted 7818/7954 = 98%, 153 KB/s]
Downloaded: 7856 file(s) [attempted 7856/7954 = 98%, 779 KB/s]
Downloaded: 7897 file(s) [attempted 7897/7954 = 99%, 327 KB/s]
Downloaded: 7932 file(s) [attempted 7932/7954 = 99%, 171 KB/s]
Downloaded: 7951 file(s) [attempted 7951/7954 = 99%, 506 KB/s]
Downloaded: 7954 file(s) [attempted 7954/7954 = 100%, 506 KB/s]

lean_checker exit 1 duration 5s · created 6/1/2026, 3:03:59 PM

lake build

error: error during download
info: caused by: [6] Could not resolve hostname (Could not resolve host: github.com)

semantic_extract exit 1 duration 5s · created 6/1/2026, 3:03:59 PM

./.apodeixis/tools/lean-semantic-extract.sh

error: error during download
info: caused by: [6] Could not resolve hostname (Could not resolve host: github.com)