diff --git a/dagger/gen.go b/dagger/gen.go index 81d3e53b..c95bb755 100644 --- a/dagger/gen.go +++ b/dagger/gen.go @@ -72,9 +72,9 @@ package dagger } #Local: { - do: "local" - dir: string - include?: [...string] | *[] + do: "local" + dir: string + include: [...string] | *[] } // FIXME: bring back load (more efficient than copy) @@ -97,11 +97,11 @@ package dagger #MountCache: "cache" #MountComponent: { from: #Component - path: string | *"/" + path: string | *"/" } #MountScript: { from: #Script - path: string | *"/" + path: string | *"/" } #FetchContainer: { diff --git a/dagger/spec.cue b/dagger/spec.cue index ada18e20..fa53d105 100644 --- a/dagger/spec.cue +++ b/dagger/spec.cue @@ -67,9 +67,9 @@ package dagger } #Local: { - do: "local" - dir: string - include?: [...string] | *[] + do: "local" + dir: string + include: [...string] | *[] } // FIXME: bring back load (more efficient than copy) @@ -92,11 +92,11 @@ package dagger #MountCache: "cache" #MountComponent: { from: #Component - path: string | *"/" + path: string | *"/" } #MountScript: { from: #Script - path: string | *"/" + path: string | *"/" } #FetchContainer: {