 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
|
aa8eb26028
|
S3StorageClient: fix bug in generateNewFilename
Fix a corner-case where an '/' would be erroneously prepended if the
Path did not contain a directory name.
|
2023-09-14 15:44:32 +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 |
|