···4747 },
4848 "repo": {
4949 "type": "string",
5050- "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
5151- "format": "uri"
5050+ "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
5251 },
5352 "vcpus": {
5453 "type": "integer",
+3-6
apps/api/lexicons/sandbox/defs.json
···4141 },
4242 "repo": {
4343 "type": "string",
4444- "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
4545- "format": "uri"
4444+ "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
4645 },
4746 "readme": {
4847 "type": "string",
···135134 },
136135 "repo": {
137136 "type": "string",
138138- "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
139139- "format": "uri"
137137+ "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
140138 },
141139 "readme": {
142140 "type": "string",
···206204 },
207205 "repo": {
208206 "type": "string",
209209- "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
210210- "format": "uri"
207207+ "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
211208 },
212209 "vcpus": {
213210 "type": "integer",
+1-2
apps/api/lexicons/sandbox/sandbox.json
···5353 },
5454 "repo": {
5555 "type": "string",
5656- "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
5757- "format": "uri"
5656+ "description": "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
5857 },
5958 "readme": {
6059 "type": "string",
-1
apps/api/pkl/defs/sandbox/createSandbox.pkl
···4444 type = "string"
4545 description =
4646 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
4747- format = "uri"
4847 }
4948 ["vcpus"] = new IntegerType {
5049 type = "integer"
-3
apps/api/pkl/defs/sandbox/defs.pkl
···4343 ["repo"] = new StringType {
4444 type = "string"
4545 description = "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
4646- format = "uri"
4746 }
4847 ["readme"] = new StringType {
4948 type = "string"
···138137 ["repo"] = new StringType {
139138 type = "string"
140139 description = "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
141141- format = "uri"
142140 }
143141 ["readme"] = new StringType {
144142 type = "string"
···205203 ["repo"] = new StringType {
206204 type = "string"
207205 description = "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
208208- format = "uri"
209206 }
210207 ["vcpus"] = new IntegerType {
211208 type = "integer"
+4-3
apps/api/pkl/defs/sandbox/sandbox.pkl
···5353 type = "string"
5454 description =
5555 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo."
5656- format = "uri"
5756 }
5857 ["readme"] = new StringType {
5958 type = "string"
···7675 type = "array"
7776 items = new StringType {
7877 type = "string"
7979- description = "A path to be mounted as a volume in the sandbox, e.g. '/data', '/logs', etc."
7878+ description =
7979+ "A path to be mounted as a volume in the sandbox, e.g. '/data', '/logs', etc."
8080 }
8181 }
8282 ["ports"] = new Array {
···9090 type = "array"
9191 items = new StringType {
9292 type = "string"
9393- description = "Name of a secret to be added to the sandbox environment. Secrets are typically encrypted and stored securely, and can be used to store sensitive information such as API keys, database credentials, etc."
9393+ description =
9494+ "Name of a secret to be added to the sandbox environment. Secrets are typically encrypted and stored securely, and can be used to store sensitive information such as API keys, database credentials, etc."
9495 }
9596 }
9697 ["envs"] = new Array {
-5
apps/api/src/lexicon/lexicons.ts
···520520 type: "string",
521521 description:
522522 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
523523- format: "uri",
524523 },
525524 vcpus: {
526525 type: "integer",
···615614 type: "string",
616615 description:
617616 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
618618- format: "uri",
619617 },
620618 readme: {
621619 type: "string",
···714712 type: "string",
715713 description:
716714 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
717717- format: "uri",
718715 },
719716 readme: {
720717 type: "string",
···783780 type: "string",
784781 description:
785782 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
786786- format: "uri",
787783 },
788784 vcpus: {
789785 type: "integer",
···14301426 type: "string",
14311427 description:
14321428 "A git repository URL to clone into the sandbox, e.g. a GitHub/Tangled repo.",
14331433- format: "uri",
14341429 },
14351430 readme: {
14361431 type: "string",