[Doc] Add a README

3 jobs for 1-timestamp-in-rfc-3339 in 8 minutes and 38 seconds
latest
Status Job ID Name Coverage
  Build
passed #496031925
coq

00:08:38

passed #496031922
coq:8.8

00:07:15

passed #496031923
coq:8.9

00:08:04