7876058b

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

Reach the comment on a nullable field's codec too

optionalFieldOrNullWith puts the field's codec under the EitherCodec that
maybeCodec is, so a comment there was the one kind that still went missing
after the previous commit: the field read as documented in the source and
came out with only its description.

Through that EitherCodec, and only that one, recognised by one of its sides
being the null codec.  A codec made nullable is still that codec.  Any other
EitherCodec is a choice between two things the option is made of, and a
comment on one of them is not about the option.
GitHub

Total

1m58s

Created Started Finished

Time to Start Worker time Duration Time to finish Idle
Config 0s 0s 0s 0s 0s
Eval 0s 1m57s 1m57s 1m58s 0s
Build - - - - -
Suite 0s 1m58s 1m58s 1m58s 0s

Timeline

Config Eval Failed
0s10s20s30s40s50s1m1m10s1m20s1m30s1m40s1m50s