fix(binder): remove speed tweaks and update comment format in postBuild and showcase1.jl

amaurigmartins · amaurigmartins · commit a5b93b8c1322 · 2025-09-15T19:25:43.000+02:00
diff --git a/binder/postBuild b/binder/postBuild
@@ -1,9 +1,6 @@
 #!/usr/bin/env bash
 set -euxo pipefail
 
-# Speed & reliability tweaks
-export JULIA_DEPOT_PATH="$HOME/.julia"
-
 julia --project=binder -e '
 using Pkg
 Pkg.activate("binder")
diff --git a/showcase/showcase1.jl b/showcase/showcase1.jl
@@ -945,7 +945,7 @@ md"""
 # ╠═7139126f-5b56-4668-991b-6b63b0642d74
 # ╠═e128dcef-675a-4dce-b959-b1ef9248f73d
 # ╟─f08a32db-05d9-4ddb-9c46-34bc623ce5e7
-# ╟─50384351-fc38-4b29-9bf6-db1556d49dee
+# ╠═50384351-fc38-4b29-9bf6-db1556d49dee
 # ╟─23913cc6-a81b-4098-bacf-7a2e09998e53
 # ╟─d482241c-4bd5-4896-bdc1-e82387f69051
 # ╟─14f07acc-5353-4b1d-b94f-9ae43f87289b
