3 Commits

Author	SHA1	Message	Date
david	6f85e2eb46	Update Github CI configuration	2022-04-05 22:43:17 +02:00
david	e3027ec913	Add Docker build	2022-03-27 20:08:12 +02:00
david	6d2ae21956	Use cargo workspaces	2022-03-12 14:14:18 +01:00