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