4 Commits

Include renames

Author	SHA1	Message	Date
david	77254a9c1a	Update Github CI configuration	2022-05-09 12:22:05 +02:00
david	769f920a95	Add basic documentation	2022-05-09 12:20:56 +02:00
david	a99af2f845	Add Docker build	2022-05-09 12:19:54 +02:00
david	5958a3ed29	Use cargo workspaces	2022-05-09 12:19:52 +02:00