|
|
1f9e3e6e23
|
log less, now that status is around
|
2024-11-08 13:51:33 +01:00 |
|
|
|
1e75be6900
|
remove logging from opam_file (now reported to status)
|
2024-11-08 13:46:05 +01:00 |
|
|
|
c3d5c74075
|
use K.remote, not the entire repo
|
2024-11-06 13:15:10 +01:00 |
|
|
|
be87d19797
|
reset errors, and sort failures
|
2024-11-06 13:08:28 +01:00 |
|
|
|
37008e81f3
|
organize failures into sections
|
2024-11-06 12:57:43 +01:00 |
|
|
|
8ba4cfae00
|
group download failures by error
|
2024-11-04 18:43:50 +01:00 |
|
|
|
9c50538877
|
record and preserve opam file parsing issues
|
2024-11-04 18:43:21 +01:00 |
|
|
|
a47193f147
|
tweaks
|
2024-11-04 17:33:50 +01:00 |
|
|
|
1e35bfefbd
|
initialization: potentially rename bad data
|
2024-11-04 17:33:33 +01:00 |
|
|
|
a9b8f18192
|
stream git contents, also make the tarball and the find_urls in one go
|
2024-11-04 17:17:52 +01:00 |
|
|
|
2312092e42
|
first write to a temporary filename, and rename later
|
2024-11-04 17:17:37 +01:00 |
|
|
|
4bec3bfbd8
|
restore checksum failure error
|
2024-11-04 16:50:42 +01:00 |
|
|
|
f48cc19fc4
|
drop superfluous 'unknown'
|
2024-11-04 16:46:01 +01:00 |
|
|
|
7689397ac3
|
remove bad archive list
|
2024-11-04 16:14:09 +01:00 |
|
|
|
e59f02a16f
|
always use swap, remove the pending / to_delete stuff
|
2024-11-04 16:13:36 +01:00 |
|
|
|
456340562d
|
Use swapfs
|
2024-11-01 14:35:08 +01:00 |
|
