mvdan.cc / cue
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

encoding/jsonschema: remove space in date-time format name

This space was not intended to be present!

Fixes #3454.

Signed-off-by: Roger Peppe <rogpeppe@gmail.com>
Change-Id: I1f8cce1a2237403560e11d5467ec1e240206908b
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1201352
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>

Roger Peppe f7462ee4 e90555fa

+2 -4
+1 -1
encoding/jsonschema/constraints_string.go
··· 67 67 "byte": {openAPI, formatTODO}, 68 68 "data": {openAPI, formatTODO}, 69 69 "date": {vfrom(VersionDraft7), formatTODO}, 70 - "date-time ": {allVersions | openAPI, formatTODO}, 70 + "date-time": {allVersions | openAPI, formatTODO}, 71 71 "double": {openAPI, formatTODO}, 72 72 "duration": {vfrom(VersionDraft2019_09), formatTODO}, 73 73 "email": {allVersions | openAPI, formatTODO},
+1 -3
encoding/jsonschema/testdata/txtar/openapi_date-time.txtar
··· 8 8 format: date-time 9 9 10 10 -- out/decode/extract -- 11 - ERROR: 12 - unknown format "date-time": 13 - schema.yaml:5:9 11 + #DateTime: string