Giacomo Vercesi ff4c899954 pypeline: add RSSStorageProvider ...

Add the storage provider (and factory) for the Pypeline Remote Storage
Server (PRSS).

2026-05-22 09:04:35 +02:00

..

local_provider_migrations

LocalProvider: add object_id_string to objects

2026-05-22 09:04:35 +02:00

__init__.py

pypeline: add RSSStorageProvider

2026-05-22 09:04:35 +02:00

file_provider.py

Implement FileProvider interface

2025-10-16 17:48:45 +02:00

local_provider.py

revng2 project init: fix for non-local providers

2026-05-22 09:04:35 +02:00

memory.py

StorageProviderFactory: add lock_type parameter

2026-05-22 09:04:35 +02:00

notification_queue.py

pypeline: notifications a duty of StorageProvider

2026-05-22 09:04:35 +02:00

null.py

StorageProviderFactory: add lock_type parameter

2026-05-22 09:04:35 +02:00

rss.py

pypeline: add RSSStorageProvider

2026-05-22 09:04:35 +02:00

storage_provider.py

revng2 project init: fix for non-local providers

2026-05-22 09:04:35 +02:00

util.py

Pypeline: move epoch to storage_provider

2025-11-11 17:15:28 +01:00