encoding/jsonschema: add numeric format to CRD test

This is a smoke test to check that we've added support
for numerical formats to the Kubernetes versions.
So far we have not - we'll do that in a subsequent CL.

Signed-off-by: Roger Peppe <[email protected]>
Change-Id: I4a76fa70f91e31946668974105f250417ecb8b30
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1214770
Reviewed-by: Daniel Martí <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>
Unity-Result: CUE porcuepine <[email protected]>

Author: rogpeppe

encoding/jsonschema/testdata/txtar/crd_simple.txtar

@@ -28,12 +28,16 @@ spec:
           spec:
             type: object
             x-kubernetes-preserve-unknown-fields: true
+          intField:
+            type: number
+            format: uint32
 
 -- out/decode/extract --
 _embeddedResource
 spec?: {
 	...
 }
+intField?: number
 
 _embeddedResource: {
 	apiVersion!: string