Merge branch 'dev-spago-next' into dev-add-edge-weight-control

3 jobs for dev-add-edge-weight-control in 5 minutes and 34 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Deps
passed #12810
deps

00:02:59

 
  Compile
failed #12811
compile

00:02:35

 
  Test
skipped #12812
test
 
Name Stage Failure
failed
compile Compile
 Saved lockfile

3 packages installed [2.69s]
Compiling
$ spago build
/nix/store/gabs49v4yacq6hdd1s5bnjyfrx1yaan3-bash-interactive-5.2-p15/bin/bash: line 1: spago: command not found
error: script "build" exited with code 127
Cleaning up file based variables
ERROR: Job failed: exit code 1