dhall-kubernetes/io.k8s.api.coordination.v1beta1.LeaseSpec.dhall at gabriella/fix_additionalProperties - dhall-kubernetes - gitea: Gitea Service

dhall-lang/dhall-kubernetes

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

Will Sewell 2b6210de20

Update dhall-openapi and regenerate (#162 )

Includes changes from https://github.com/dhall-lang/dhall-haskell/pull/2126
and https://github.com/dhall-lang/dhall-haskell/pull/2137.

2021-01-17 12:21:24 +00:00

7 lines

273 B

Plaintext

Raw Permalink Blame History

 { acquireTime : Optional ./io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall
 , holderIdentity : Optional Text
 , leaseDurationSeconds : Optional Integer
 , leaseTransitions : Optional Integer
 , renewTime : Optional ./io.k8s.apimachinery.pkg.apis.meta.v1.MicroTime.dhall
 }