Simon Westphahl c6f4cb21a3 Record and report time for trigger events ...

Sometimes, e.g. during reconfiguration, it can take quite some time
between the trigger event and when a change is enqueued.

This change allows tracking the time it takes from receiving the event
until it is processed by the scheduler.

Change-Id: I347acf56bc8d7671d96f6be444c71902563684be

2019-07-18 06:56:23 +02:00

..

source

Record and report time for trigger events

2019-07-18 06:56:23 +02:00

Makefile

sphinx is now stricter

2013-01-15 18:35:53 +00:00

requirements.txt

web: add OpenAPI documentation

2019-06-12 22:35:13 +02:00