Sign in
Join now
eio_progress
patrick.sirref.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Eio flows with progress bars
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
examples/
http_get.ml
October 2026
patrick.sirref.org
7708e60b
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3d ago
patrick.sirref.org
3894f1d3
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1w ago
patrick.sirref.org
e4d52504
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1w ago
patrick.sirref.org
e31ca20c
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2w ago
patrick.sirref.org
6cbea0ce
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2w ago
patrick.sirref.org
508809a1
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2w ago
patrick.sirref.org
814db70e
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2w ago
patrick.sirref.org
8986e594
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
3w ago
patrick.sirref.org
b85f9d26
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3w ago
September 2026
patrick.sirref.org
fbb5e7c1
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
1876f720
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
9a6af7cf
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
052dbffe
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
1fdf4885
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
85dfc89d
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
f5c7d824
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
1mo ago
patrick.sirref.org
c1d3e928
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
August 2026
patrick.sirref.org
ba2ce69e
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
8f027601
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
f28e1b23
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
79a1e625
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
3cd3a46e
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
b04b7744
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
46f372e8
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
patrick.sirref.org
f197592b
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2mo ago
July 2026
patrick.sirref.org
1783949f
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
0c292d12
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
ac8c423e
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
3b379aed
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
0409fdcd
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
47ef2fb0
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
748cb03f
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
3mo ago
patrick.sirref.org
23b8a3d8
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
June 2026
patrick.sirref.org
358f7520
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
623ff65a
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
3e8f5913
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
e029c679
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
f840fef7
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
80b1e45c
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
patrick.sirref.org
17a91bbe
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
May 2026
patrick.sirref.org
5af9fb5b
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
9c6722dc
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
aca6d06c
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
be1bfde2
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
bf7bd7f6
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
be0f736e
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
c552489b
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
188cca94
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
5mo ago
patrick.sirref.org
d3e60ae3
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
April 2026
patrick.sirref.org
c1ad1e08
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
6mo ago