5 commits

Author	SHA1	Message	Date
jedi	f4d1b53760	add basic websocket	2021-07-19 21:26:10 +02:00
jedi	aa1b229b2d	Fix unconnected trace	2021-07-12 17:36:54 +02:00
jedi	d7ef71e89a	Run ERC and DRC in CI Pipeline	2021-07-12 17:32:53 +02:00
jedi	f7c6692a82	setup CI skeleton	2021-07-02 16:47:03 +02:00
jedi	469d2e1b70	move files around	2021-06-09 22:23:17 +02:00