 Giacomo Vercesi
|
a06b380ce0
|
S3StorageClient: implement parallel upload
Allow uploads to S3 to be executed in parallel, this should reduce the
time it takes for a `save` operation to conclude.
|
2025-02-06 12:21:23 +01:00 |
|
|
Alessandro Di Federico
|
fe1dffcffd
|
Add some missing includes
This is in preparation of reducing headers in Debug.h.
|
2024-05-03 21:52:40 +02:00 |
|
|
Giacomo Vercesi
|
e2504dd6f2
|
Implement storage credentials update
Add the functionality to rev.ng's infrastructure to allow to dynamically
update the credentials of the underlying storage provider at runtime.
|
2023-09-14 17:32:08 +02:00 |
|
|
Giacomo Vercesi
|
93d3a6238d
|
revng: introduce S3 support
Add the capability for all revng tooling to run with an S3-backed
workdir.
|
2023-09-06 15:23:43 +02:00 |
|