Merge branch 'main' of https://github.com/jmuchovej/BoxesWorld.jl

.devcontainer/devcontainer.json

@@ -1,7 +1,7 @@
 // For format details, see https://aka.ms/devcontainer.json. For config options, see the
 // README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
 {
-	"name": "BoxWorld",
+	"name": "BoxesWorld",
     "image": "mcr.microsoft.com/devcontainers/base:jammy",
 
 	"hostRequirements": {
@@ -30,8 +30,8 @@
 		}
 	],
 
-	"workspaceMount": "source=${localWorkspaceFolder},target=/BoxesWorld,type=bind,consistency=cached",
-	"workspaceFolder": "/BoxesWorld",
+	"workspaceMount": "source=${localWorkspaceFolder},target=/w,type=bind,consistency=cached",
+	"workspaceFolder": "/w",
 
 	"customizations": {
 		"vscode": {
@@ -69,7 +69,7 @@
 	},
 
 	"containerEnv": {
-		"JULIA_PROJECT": "/BoxesWorld",
+		"JULIA_PROJECT": "/w",
 		"JULIA_NUM_THREADS": "auto",
 	},
 

Project.toml

@@ -1,7 +1,7 @@
 name = "BoxesWorld"
 uuid = "3a8eabaa-ff0c-46c8-af7c-f38dcbb67fff"
 authors = ["John Muchovej <5000729+jmuchovej@users.noreply.github.com> and contributors"]
-version = "0.1.0"
+version = "0.1.1"
 
 [deps]
 Distances = "b4f34e82-e78d-54a5-968a-f98e89d6e8f7"