dhall-kubernetes/io.k8s.api.coordination.v1.LeaseSpec.dhall at gabriel/EarnestResearch - dhall-kubernetes - gitea: Gitea Service

dhall-lang/dhall-kubernetes

mirror of https://github.com/dhall-lang/dhall-kubernetes.git synced 2024-09-17 10:27:08 +03:00

Greg Ziegan 7af2ab5345 Prefer "schema" syntax for examples (#93 )

* Also update to the latest version of `dhall`
* Also fix `./scripts/generate.sh` to generate the `schemas*` files

2019-11-23 16:53:03 -08:00

9 lines

279 B

Plaintext

Raw Permalink Blame History

 { acquireTime =
     None ./../types/io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall
 , holderIdentity = None Text
 , leaseDurationSeconds = None Natural
 , leaseTransitions = None Natural
 , renewTime =
     None ./../types/io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall
 }