++ mktemp -d
+ checkout=/tmp/tmp.blDeG8xcxu
+ trap 'rm -rf "$checkout"' EXIT
+ cp -R /var/lib/ci-tron/sources/fe08716ec8e4f7df/. /tmp/tmp.blDeG8xcxu
+ cd /tmp/tmp.blDeG8xcxu
+ nix develop --command odin build . -out:term
GC Warning: Could not open /proc/stat
+ rm -rf /tmp/tmp.blDeG8xcxu