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