Giacomo Vercesi 2c4f5d1381 GraphQL: introduce target endpoint

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

..

templates

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +02:00

__init__.py

PipelineC: expose invalidation logic

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

demo_webpage.py

daemon: Disable debug page in production mode

2022-05-06 15:04:19 +02:00

manager.py

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +02:00

multiqueue.py

PipelineC: expose invalidation logic

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

schema_generator.py

PipelineC: expose invalidation logic

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

schema.graphql.tpl

GraphQL: introduce target endpoint

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

static_handlers.py

GraphQL: introduce target endpoint

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

util.py

revng.daemon.util: Remove dead code

2022-10-04 14:13:55 +02:00