f1aa3efa

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Release autodocodec-0.7.0.0 and autodocodec-exact-0.0.1.0

Two of the bugs the weeder check led to change what gets encoded, and the
Result removal takes something off the API, so these do not belong in a
release nobody was told about.

Also pins the omission: a value whose every field is at its default now has
an exact expected encoding, rather than relying on the generator happening to
produce the default.

Total

38s

Created Started Finished

Time to Start Worker time Duration Time to finish Idle
Config 9m37s 0s 0s 9m37s 9m37s
Eval 9m56s 18s 18s 10m15s 19s
Build 10m14s 0s 0s 10m14s 0s
Suite 9m37s 19s 38s 10m15s 9m56s

Timeline

Config Eval Build Compressed gap
0s10m10m10s