++ mktemp -d
+ checkout=/tmp/tmp.w6XDuedDHP
+ trap 'rm -rf "$checkout"' EXIT
+ cp -R /var/lib/ci-tron/sources/d5c3ad1d51ba1b9b/. /tmp/tmp.w6XDuedDHP
+ cd /tmp/tmp.w6XDuedDHP
+ nix develop --command odin build . -out:term
GC Warning: Could not open /proc/stat
building '/nix/store/fcn3bw3150yl11v5zxmm5mjfdisiacsr-nix-shell-env.drv'...
+ rm -rf /tmp/tmp.w6XDuedDHP