5 commits

Author	SHA1	Message	Date
Joscha	b23fc6460f	Start runs and coordinate with server	2023-08-12 02:16:05 +02:00
Joscha	3d959c703c	Add dash to id prefixes	2023-08-12 02:16:05 +02:00
Joscha	6f4793bcf2	Rename runners to workers	2023-08-11 02:12:38 +02:00
Joscha	0ae43c608f	Ping server regularly	2023-08-11 02:12:38 +02:00
Joscha	8005718584	Generate random runner tokens	2023-08-10 17:50:23 +02:00