← Jobs
success

build ant/term ↗

main @ 028b43496a929188c5b0741bb3fda402c24a3b46 · pipeline build #101 → · 2 more pipelines from this commit →
started 23 Sep 2026 09:14 UTC · ran for
3s, success 3s, success 3s, success 3s, success 12s, success 3s, success 3s, success 4s, success 3s, success 3s, success avg 4s ± 3s over the last 10 runs
feat: copy selection with ctrl shift c
$ build success · exit 0 · raw
++ mktemp -d
+ checkout=/tmp/tmp.d0FIr5BU01
+ trap 'rm -rf "$checkout"' EXIT
+ cp -R /var/lib/ci-tron/sources/30b8268b3bae3cda/. /tmp/tmp.d0FIr5BU01
+ cd /tmp/tmp.d0FIr5BU01
+ nix develop --command odin build . -out:term
GC Warning: Could not open /proc/stat
+ rm -rf /tmp/tmp.d0FIr5BU01
Artifacts

no artifacts