Verification run
Run 244
succeeded commit
7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 1h 30m · finished 5w ago
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
git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-303-source
Cloning into '/var/lib/apodeixis/repos/job-303-source'...
git_checkout exit 128
git checkout 7dc5aeb267bc377d6848d260ba7f9289232728df
fatal: reference is not a tree: 7dc5aeb267bc377d6848d260ba7f9289232728df
git_checkout exit 0
git fetch --depth 1 origin 7dc5aeb267bc377d6848d260ba7f9289232728df
From https://github.com/promachina/iut-lean * branch 7dc5aeb267bc377d6848d260ba7f9289232728df -> FETCH_HEAD
git_checkout exit 0
git checkout 7dc5aeb267bc377d6848d260ba7f9289232728df (after fetch)
Note: switching to '7dc5aeb267bc377d6848d260ba7f9289232728df'. 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 switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c <new-branch-name> Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 7dc5aeb Add finite source first pass route
lake_cache exit 0
lake exe cache get
Current branch: HEAD Using cache (Azure) from origin: (some leanprover-community/mathlib4) Attempting to download 8459 file(s) from leanprover-community/mathlib4 cache Decompressed 8459 file(s) Already decompressed 8459 file(s)
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0 Downloaded: 15 file(s) [attempted 15/8459 = 0%, 4 KB/s], Decompressed: 13 Downloaded: 43 file(s) [attempted 43/8459 = 0%, 14 KB/s], Decompressed: 40 Downloaded: 68 file(s) [attempted 68/8459 = 0%, 43 KB/s], Decompressed: 64 Downloaded: 103 file(s) [attempted 103/8459 = 1%, 539 KB/s], Decompressed: 96 Downloaded: 141 file(s) [attempted 141/8459 = 1%, 371 KB/s], Decompressed: 134 Downloaded: 175 file(s) [attempted 175/8459 = 2%, 113 KB/s], Decompressed: 172 Downloaded: 213 file(s) [attempted 213/8459 = 2%, 349 KB/s], Decompressed: 210 Downloaded: 248 file(s) [attempted 248/8459 = 2%, 122 KB/s], Decompressed: 244 Downloaded: 288 file(s) [attempted 288/8459 = 3%, 68 KB/s], Decompressed: 285 Downloaded: 330 file(s) [attempted 330/8459 = 3%, 177 KB/s], Decompressed: 319 Downloaded: 374 file(s) [attempted 374/8459 = 4%, 122 KB/s], Decompressed: 367 Downloaded: 412 file(s) [attempted 412/8459 = 4%, 322 KB/s], Decompressed: 408 Downloaded: 456 file(s) [attempted 456/8459 = 5%, 78 KB/s], Decompressed: 449 Downloaded: 497 file(s) [attempted 497/8459 = 5%, 60 KB/s], Decompressed: 490 Downloaded: 538 file(s) [attempted 538/8459 = 6%, 341 KB/s], Decompressed: 535 Downloaded: 580 file(s) [attempted 580/8459 = 6%, 839 KB/s], Decompressed: 573 Downloaded: 622 file(s) [attempted 622/8459 = 7%, 203 KB/s], Decompressed: 617 Downloaded: 663 file(s) [attempted 663/8459 = 7%, 50 KB/s], Decompressed: 658 Downloaded: 705 file(s) [attempted 705/8459 = 8%, 1225 KB/s], Decompressed: 699 Downloaded: 742 file(s) [attempted 742/8459 = 8%, 184 KB/s], Decompressed: 737 Downloaded: 783 file(s) [attempted 783/8459 = 9%, 399 KB/s], Decompressed: 778 Downloaded: 826 file(s) [attempted 826/8459 = 9%, 200 KB/s], Decompressed: 823 Downloaded: 874 file(s) [attempted 874/8459 = 10%, 164 KB/s], Decompressed: 871 Downloaded: 918 file(s) [attempted 918/8459 = 10%, 405 KB/s], Decompressed: 912 Downloaded: 963 file(s) [attempted 963/8459 = 11%, 179 KB/s], Decompressed: 960 Downloaded: 1011 file(s) [attempted 1011/8459 = 11%, 184 KB/s], Decompressed: 1008 Downloaded: 1052 file(s) [attempted 1052/8459 = 12%, 176 KB/s], Decompressed: 1045 Downloaded: 1087 file(s) [attempted 1087/8459 = 12%, 448 KB/s], Decompressed: 1083 Downloaded: 1127 file(s) [attempted 1127/8459 = 13%, 509 KB/s], Decompressed: 1121 Downloaded: 1169 file(s) [attempted 1169/8459 = 13%, 294 KB/s], Decompressed: 1165 Downloaded: 1215 file(s) [attempted 1215/8459 = 14%, 28 KB/s], Decompressed: 1210 Downloaded: 1257 file(s) [attempted 1257/8459 = 14%, 260 KB/s], Decompressed: 1251 Downloaded: 1294 file(s) [attempted 1294/8459 = 15%, 734 KB/s], Decompressed: 1285 Downloaded: 1336 file(s) [attempted 1336/8459 = 15%, 346 KB/s], Decompressed: 1329 Downloaded: 1377 file(s) [attempted 1377/8459 = 16%, 30 KB/s], Decompressed: 1374 Downloaded: 1422 file(s) [attempted 1422/8459 = 16%, 82 KB/s], Decompressed: 1418 Downloaded: 1470 file(s) [attempted 1470/8459 = 17%, 77 KB/s], Decompressed: 1466 Downloaded: 1521 file(s) [attempted 1521/8459 = 17%, 78 KB/s], Decompressed: 1518 Downloaded: 1569 file(s) [attempted 1569/8459 = 18%, 85 KB/s], Decompressed: 1566 Downloaded: 1613 file(s) [attempted 1613/8459 = 19%, 201 KB/s], Decompressed: 1610 Downloaded: 1651 file(s) [attempted 1651/8459 = 19%, 161 KB/s], Decompressed: 1644 Downloaded: 1689 file(s) [attempted 1689/8459 = 19%, 321 KB/s], Decompressed: 1685 Downloaded: 1733 file(s) [attempted 1733/8459 = 20%, 86 KB/s], Decompressed: 1726 Downloaded: 1774 file(s) [attempted 1774/8459 = 20%, 784 KB/s], Decompressed: 1771 Downloaded: 1822 file(s) [attempted 1822/8459 = 21%, 352 KB/s], Decompressed: 1815 Downloaded: 1870 file(s) [attempted 1870/8459 = 22%, 734 KB/s], Decompressed: 1868 Downloaded: 1918 file(s) [attempted 1918/8459 = 22%, 383 KB/s], Decompressed: 1915 Downloaded: 1962 file(s) [attempted 1962/8459 = 23%, 269 KB/s], Decompressed: 1959 Downloaded: 2004 file(s) [attempted 2004/8459 = 23%, 293 KB/s], Decompressed: 2000 Downloaded: 2041 file(s) [attempted 2041/8459 = 24%, 254 KB/s], Decompressed: 2035 Downloaded: 2079 file(s) [attempted 2079/8459 = 24%, 1247 KB/s], Decompressed: 2075 Downloaded: 2120 file(s) [attempted 2120/8459 = 25%, 1301 KB/s], Decompressed: 2117 Downloaded: 2161 file(s) [attempted 2161/8459 = 25%, 222 KB/s], Decompressed: 2158 Downloaded: 2203 file(s) [attempted 2203/8459 = 26%, 177 KB/s], Decompressed: 2195 Downloaded: 2243 file(s) [attempted 2243/8459 = 26%, 206 KB/s], Decompressed: 2240 Downloaded: 2284 file(s) [attempted 2284/8459 = 27%, 583 KB/s], Decompressed: 2277 Downloaded: 2329 file(s) [attempted 2329/8459 = 27%, 497 KB/s], Decompressed: 2325 Downloaded: 2367 file(s) [attempted 2367/8459 = 27%, 145 KB/s], Decompressed: 2363 Downloaded: 2411 file(s) [attempted 2411/8459 = 28%, 193 KB/s], Decompressed: 2401 Downloaded: 2459 file(s) [attempted 2459/8459 = 29%, 483 KB/s], Decompressed: 2452 Downloaded: 2496 file(s) [attempted 2496/8459 = 29%, 632 KB/s], Decompressed: 2493 Downloaded: 2537 file(s) [attempted 2537/8459 = 29%, 630 KB/s], Decompressed: 2534 Downloaded: 2575 file(s) [attempted 2575/8459 = 30%, 688 KB/s], Decompressed: 2572 Downloaded: 2616 file(s) [attempted 2616/8459 = 30%, 307 KB/s], Decompressed: 2613 Downloaded: 2658 file(s) [attempted 2658/8459 = 31%, 64 KB/s], Decompressed: 2654 Downloaded: 2698 file(s) [attempted 2698/8459 = 31%, 194 KB/s], Decompressed: 2691 Downloaded: 2740 file(s) [attempted 2740/8459 = 32%, 38 KB/s], Decompressed: 2736 Downloaded: 2784 file(s) [attempted 2784/8459 = 32%, 122 KB/s], Decompressed: 2780 Downloaded: 2821 file(s) [attempted 2821/8459 = 33%, 205 KB/s], Decompressed: 2818 Downloaded: 2863 file(s) [attempted 2863/8459 = 33%, 255 KB/s], Decompressed: 2859 Downloaded: 2910 file(s) [attempted 2910/8459 = 34%, 656 KB/s], Decompressed: 2907 Downloaded: 2955 file(s) [attempted 2955/8459 = 34%, 961 KB/s], Decompressed: 2948 Downloaded: 2996 file(s) [attempted 2996/8459 = 35%, 1000 KB/s], Decompressed: 2989 Downloaded: 3037 file(s) [attempted 3037/8459 = 35%, 364 KB/s], Decompressed: 3034 Downloaded: 3077 file(s) [attempted 3077/8459 = 36%, 831 KB/s], Decompressed: 3071 Downloaded: 3119 file(s) [attempted 3119/8459 = 36%, 147 KB/s], Decompressed: 3112 Downloaded: 3160 file(s) [attempted 3160/8459 = 37%, 429 KB/s], Decompressed: 3157 Downloaded: 3208 file(s) [attempted 3208/8459 = 37%, 530 KB/s], Decompressed: 3205 Downloaded: 3253 file(s) [attempted 3253/8459 = 38%, 1490 KB/s], Decompressed: 3246 Downloaded: 3294 file(s) [attempted 3294/8459 = 38%, 846 KB/s], Decompressed: 3287 Downloaded: 3336 file(s) [attempted 3336/8459 = 39%, 154 KB/s], Decompressed: 3331 Downloaded: 3376 file(s) [attempted 3376/8459 = 39%, 533 KB/s], Decompressed: 3372 Downloaded: 3420 file(s) [attempted 3420/8459 = 40%, 440 KB/s], Decompressed: 3414 Downloaded: 3461 file(s) [attempted 3461/8459 = 40%, 335 KB/s], Decompressed: 3455 Downloaded: 3503 file(s) [attempted 3503/8459 = 41%, 140 KB/s], Decompressed: 3499 Downloaded: 3547 file(s) [attempted 3547/8459 = 41%, 24 KB/s], Decompressed: 3540 Downloaded: 3591 file(s) [attempted 3591/8459 = 42%, 79 KB/s], Decompressed: 3588 Downloaded: 3634 file(s) [attempted 3634/8459 = 42%, 625 KB/s], Decompressed: 3626 Downloaded: 3674 file(s) [attempted 3674/8459 = 43%, 82 KB/s], Decompressed: 3670 Downloaded: 3718 file(s) [attempted 3718/8459 = 43%, 38 KB/s], Decompressed: 3715 Downloaded: 3759 file(s) [attempted 3759/8459 = 44%, 64 KB/s], Decompressed: 3756 Downloaded: 3800 file(s) [attempted 3800/8459 = 44%, 90 KB/s], Decompressed: 3793 Downloaded: 3845 file(s) [attempted 3845/8459 = 45%, 991 KB/s], Decompressed: 3841 Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 42 KB/s], Decompressed: 3886 Downloaded: 3929 file(s) [attempted 3929/8459 = 46%, 156 KB/s], Decompressed: 3923 Downloaded: 3971 file(s) [attempted 3971/8459 = 46%, 47 KB/s], Decompressed: 3968 Downloaded: 4012 file(s) [attempted 4012/8459 = 47%, 976 KB/s], Decompressed: 4006 Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 276 KB/s], Decompressed: 4050 Downloaded: 4098 file(s) [attempted 4098/8459 = 48%, 687 KB/s], Decompressed: 4091 Downloaded: 4139 file(s) [attempted 4139/8459 = 48%, 577 KB/s], Decompressed: 4136 Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 311 KB/s], Decompressed: 4180 Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 158 KB/s], Decompressed: 4221 Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 249 KB/s], Decompressed: 4262 Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 967 KB/s], Decompressed: 4307 Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 84 KB/s], Decompressed: 4348 Downloaded: 4394 file(s) [attempted 4394/8459 = 51%, 39 KB/s], Decompressed: 4385 Downloaded: 4433 file(s) [attempted 4433/8459 = 52%, 761 KB/s], Decompressed: 4430 Downloaded: 4476 file(s) [attempted 4476/8459 = 52%, 129 KB/s], Decompressed: 4471 Downloaded: 4518 file(s) [attempted 4518/8459 = 53%, 334 KB/s], Decompressed: 4512 Downloaded: 4563 file(s) [attempted 4563/8459 = 53%, 76 KB/s], Decompressed: 4560 Downloaded: 4611 file(s) [attempted 4611/8459 = 54%, 397 KB/s], Decompressed: 4601 Downloaded: 4649 file(s) [attempted 4649/8459 = 54%, 373 KB/s], Decompressed: 4646 Downloaded: 4690 file(s) [attempted 4690/8459 = 55%, 49 KB/s], Decompressed: 4687 Downloaded: 4728 file(s) [attempted 4728/8459 = 55%, 39 KB/s], Decompressed: 4724 Downloaded: 4772 file(s) [attempted 4772/8459 = 56%, 25 KB/s], Decompressed: 4769 Downloaded: 4820 file(s) [attempted 4820/8459 = 56%, 82 KB/s], Decompressed: 4813 Downloaded: 4861 file(s) [attempted 4861/8459 = 57%, 75 KB/s], Decompressed: 4858 Downloaded: 4906 file(s) [attempted 4906/8459 = 57%, 897 KB/s], Decompressed: 4902 Downloaded: 4943 file(s) [attempted 4943/8459 = 58%, 61 KB/s], Decompressed: 4936 Downloaded: 4984 file(s) [attempted 4984/8459 = 58%, 55 KB/s], Decompressed: 4981 Downloaded: 5025 file(s) [attempted 5025/8459 = 59%, 131 KB/s], Decompressed: 5022 Downloaded: 5073 file(s) [attempted 5073/8459 = 59%, 354 KB/s], Decompressed: 5056 Downloaded: 5121 file(s) [attempted 5121/8459 = 60%, 517 KB/s], Decompressed: 5114 Downloaded: 5159 file(s) [attempted 5159/8459 = 60%, 685 KB/s], Decompressed: 5156 Downloaded: 5203 file(s) [attempted 5203/8459 = 61%, 91 KB/s], Decompressed: 5200 Downloaded: 5248 file(s) [attempted 5248/8459 = 62%, 945 KB/s], Decompressed: 5245 Downloaded: 5292 file(s) [attempted 5292/8459 = 62%, 1589 KB/s], Decompressed: 5289 Downloaded: 5333 file(s) [attempted 5333/8459 = 63%, 415 KB/s], Decompressed: 5327 Downloaded: 5375 file(s) [attempted 5375/8459 = 63%, 56 KB/s], Decompressed: 5371 Downloaded: 5422 file(s) [attempted 5422/8459 = 64%, 237 KB/s], Decompressed: 5416 Downloaded: 5461 file(s) [attempted 5461/8459 = 64%, 280 KB/s], Decompressed: 5457 Downloaded: 5498 file(s) [attempted 5498/8459 = 64%, 235 KB/s], Decompressed: 5494 Downloaded: 5542 file(s) [attempted 5542/8459 = 65%, 302 KB/s], Decompressed: 5539 Downloaded: 5590 file(s) [attempted 5590/8459 = 66%, 280 KB/s], Decompressed: 5580 Downloaded: 5631 file(s) [attempted 5631/8459 = 66%, 1483 KB/s], Decompressed: 5624 Downloaded: 5672 file(s) [attempted 5672/8459 = 67%, 364 KB/s], Decompressed: 5669 Downloaded: 5717 file(s) [attempted 5717/8459 = 67%, 59 KB/s], Decompressed: 5713 Downloaded: 5754 file(s) [attempted 5754/8459 = 68%, 269 KB/s], Decompressed: 5744 Downloaded: 5795 file(s) [attempted 5795/8459 = 68%, 95 KB/s], Decompressed: 5792 Downloaded: 5841 file(s) [attempted 5841/8459 = 69%, 151 KB/s], Decompressed: 5830 Downloaded: 5878 file(s) [attempted 5878/8459 = 69%, 59 KB/s], Decompressed: 5875 Downloaded: 5919 file(s) [attempted 5919/8459 = 69%, 120 KB/s], Decompressed: 5915 Downloaded: 5957 file(s) [attempted 5957/8459 = 70%, 144 KB/s], Decompressed: 5953 Downloaded: 6000 file(s) [attempted 6000/8459 = 70%, 512 KB/s], Decompressed: 5994 Downloaded: 6042 file(s) [attempted 6042/8459 = 71%, 108 KB/s], Decompressed: 6038 Downloaded: 6086 file(s) [attempted 6086/8459 = 71%, 347 KB/s], Decompressed: 6080 Downloaded: 6127 file(s) [attempted 6127/8459 = 72%, 116 KB/s], Decompressed: 6121 Downloaded: 6169 file(s) [attempted 6169/8459 = 72%, 721 KB/s], Decompressed: 6162 Downloaded: 6208 file(s) [attempted 6208/8459 = 73%, 167 KB/s], Decompressed: 6199 Downloaded: 6247 file(s) [attempted 6247/8459 = 73%, 337 KB/s], Decompressed: 6244 Downloaded: 6292 file(s) [attempted 6292/8459 = 74%, 781 KB/s], Decompressed: 6288 Downloaded: 6334 file(s) [attempted 6334/8459 = 74%, 372 KB/s], Decompressed: 6329 Downloaded: 6377 file(s) [attempted 6377/8459 = 75%, 192 KB/s], Decompressed: 6370 Downloaded: 6418 file(s) [attempted 6418/8459 = 75%, 1694 KB/s], Decompressed: 6415 Downloaded: 6457 file(s) [attempted 6457/8459 = 76%, 131 KB/s], Decompressed: 6449 Downloaded: 6498 file(s) [attempted 6498/8459 = 76%, 989 KB/s], Decompressed: 6494 Downloaded: 6542 file(s) [attempted 6542/8459 = 77%, 692 KB/s], Decompressed: 6538 Downloaded: 6583 file(s) [attempted 6583/8459 = 77%, 82 KB/s], Decompressed: 6579 Downloaded: 6626 file(s) [attempted 6626/8459 = 78%, 231 KB/s], Decompressed: 6617 Downloaded: 6668 file(s) [attempted 6668/8459 = 78%, 194 KB/s], Decompressed: 6661 Downloaded: 6706 file(s) [attempted 6706/8459 = 79%, 854 KB/s], Decompressed: 6702 Downloaded: 6750 file(s) [attempted 6750/8459 = 79%, 52 KB/s], Decompressed: 6743 Downloaded: 6793 file(s) [attempted 6793/8459 = 80%, 373 KB/s], Decompressed: 6788 Downloaded: 6839 file(s) [attempted 6839/8459 = 80%, 47 KB/s], Decompressed: 6836 Downloaded: 6884 file(s) [attempted 6884/8459 = 81%, 698 KB/s], Decompressed: 6880 Downloaded: 6925 file(s) [attempted 6925/8459 = 81%, 359 KB/s], Decompressed: 6921 Downloaded: 6966 file(s) [attempted 6966/8459 = 82%, 311 KB/s], Decompressed: 6959 Downloaded: 7004 file(s) [attempted 7004/8459 = 82%, 143 KB/s], Decompressed: 7000 Downloaded: 7048 file(s) [attempted 7048/8459 = 83%, 628 KB/s], Decompressed: 7041 Downloaded: 7089 file(s) [attempted 7089/8459 = 83%, 1204 KB/s], Decompressed: 7087 Downloaded: 7134 file(s) [attempted 7134/8459 = 84%, 2228 KB/s], Decompressed: 7130 Downloaded: 7178 file(s) [attempted 7178/8459 = 84%, 308 KB/s], Decompressed: 7171 Downloaded: 7212 file(s) [attempted 7212/8459 = 85%, 819 KB/s], Decompressed: 7205 Downloaded: 7257 file(s) [attempted 7257/8459 = 85%, 39 KB/s], Decompressed: 7250 Downloaded: 7298 file(s) [attempted 7298/8459 = 86%, 81 KB/s], Decompressed: 7291 Downloaded: 7339 file(s) [attempted 7339/8459 = 86%, 415 KB/s], Decompressed: 7336 Downloaded: 7387 file(s) [attempted 7387/8459 = 87%, 298 KB/s], Decompressed: 7383 Downloaded: 7431 file(s) [attempted 7431/8459 = 87%, 589 KB/s], Decompressed: 7424 Downloaded: 7469 file(s) [attempted 7469/8459 = 88%, 280 KB/s], Decompressed: 7462 Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 225 KB/s], Decompressed: 7503 Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 996 KB/s], Decompressed: 7548 Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 237 KB/s], Decompressed: 7589 Downloaded: 7637 file(s) [attempted 7637/8459 = 90%, 157 KB/s], Decompressed: 7633 Downloaded: 7685 file(s) [attempted 7685/8459 = 90%, 648 KB/s], Decompressed: 7678 Downloaded: 7724 file(s) [attempted 7724/8459 = 91%, 779 KB/s], Decompressed: 7715 Downloaded: 7763 file(s) [attempted 7763/8459 = 91%, 321 KB/s], Decompressed: 7756 Downloaded: 7802 file(s) [attempted 7802/8459 = 92%, 98 KB/s], Decompressed: 7798 Downloaded: 7845 file(s) [attempted 7845/8459 = 92%, 359 KB/s], Decompressed: 7842 Downloaded: 7890 file(s) [attempted 7890/8459 = 93%, 1160 KB/s], Decompressed: 7886 Downloaded: 7932 file(s) [attempted 7932/8459 = 93%, 220 KB/s], Decompressed: 7928 Downloaded: 7975 file(s) [attempted 7975/8459 = 94%, 733 KB/s], Decompressed: 7969 Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 3605 KB/s], Decompressed: 8006 Downloaded: 8052 file(s) [attempted 8052/8459 = 95%, 64 KB/s], Decompressed: 8047 Downloaded: 8095 file(s) [attempted 8095/8459 = 95%, 170 KB/s], Decompressed: 8092 Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 108 KB/s], Decompressed: 8140 Downloaded: 8191 file(s) [attempted 8191/8459 = 96%, 38 KB/s], Decompressed: 8188 Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 534 KB/s], Decompressed: 8232 Downloaded: 8283 file(s) [attempted 8283/8459 = 97%, 190 KB/s], Decompressed: 8280 Downloaded: 8321 file(s) [attempted 8321/8459 = 98%, 198 KB/s], Decompressed: 8314 Downloaded: 8359 file(s) [attempted 8359/8459 = 98%, 333 KB/s], Decompressed: 8348 Downloaded: 8400 file(s) [attempted 8400/8459 = 99%, 53 KB/s], Decompressed: 8396 Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 501 KB/s], Decompressed: 8437 Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 501 KB/s], Decompressed: 8455
lean_checker exit 0
lake build
✔ [3387/3399] Built Iut.Foundations.QualitativeData (9.2s) ✔ [3388/3399] Built Iut.Foundations.AlgorithmicBridge (2.8s) ✔ [3389/3399] Built Iut.Stage1.CorollarySchema (12s) ✔ [3390/3399] Built Iut.Stage1.SourceObligations (3.1s) ✔ [3391/3399] Built Iut.Stage1.IUTSourceScaffold (2.7s) ✔ [3392/3399] Built Iut.Stage1.IUTStage1Data (3.1s) ✔ [3393/3399] Built Iut.Stage1.IUTStage1SourceCore (13s) ✔ [3394/3399] Built Iut.Stage1.IUTStage1Remark312Absorption (3.5s) ✔ [3395/3399] Built Iut.Stage1.IUTStage1Source (63s) ✔ [3396/3399] Built Iut.Stage1.IUTStage1Experiments (17s) ✔ [3397/3399] Built Iut.Basic (2.5s) ✔ [3398/3399] Built Iut (2.5s) Build completed successfully (3399 jobs).
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
blueprint_build exit 1
lake build :blueprint
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes error: unknown package facet `blueprint`
semantic_module_facts exit 0
./.apodeixis/tools/lean-semantic-extract.sh --module-facts
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes lean semantic helper: restored compiled static runner cache f27363d7b4c2bc072aa1a6c13b770bd578347e88a8f6a5a8933b30bc89d802c4 warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes