feat(postBuild): add post-build script for package activation and precompilation

amaurigmartins · amaurigmartins · commit 08fdb398e0dc · 2025-09-15T13:18:50.000+02:00
diff --git a/binder/postBuild b/binder/postBuild
@@ -0,0 +1,3 @@
+#!/bin/bash
+set -euxo pipefail
+julia -e 'using Pkg; Pkg.activate("binder"); Pkg.instantiate(); Pkg.precompile()'

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+set -euxo pipefail`
	`3`	`+julia -e 'using Pkg; Pkg.activate("binder"); Pkg.instantiate(); Pkg.precompile()'`