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

..

__init__.py

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00

_capi.py

revng.cli: centralize collect_pipelines

2023-08-23 17:45:36 +02:00

errors.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

exceptions.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

invalidations.py

PipelineC: expose invalidation logic

2022-10-30 09:13:14 +01:00

manager.py

Implement storage credentials update

2023-09-14 17:32:08 +02:00

string_map.py

GraphQL: expose analysis options

2023-03-22 17:31:46 +01:00

target.py

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00

utils.py

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00