fix: ship not optional

innoai-tech · Aug 7, 2023 · a566ade · a566ade
1 parent 2163ed7
commit a566ade
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/cuepkg/imagetool/project.cue b/cuepkg/imagetool/project.cue
@@ -3,14 +3,13 @@ package imagetool
 #Project: {
 	version:  string | *"dev"
 	revision: string | *""
-	mirror:   #Mirror
+
+	mirror: #Mirror
 	auths: [Host=string]: #Auth
 
-	ship?: #Ship
+	ship: #Ship
+	ship: "auths":  auths
+	ship: "mirror": mirror
 
-	if ship != _|_ {
-		ship: "auths":  auths
-		ship: "mirror": mirror
-	}
 	...
 }