Sign in
Join now
soteria
lake.map-rust.com
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
READ-ONLY MIRROR of the previous soteria repo
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
vscode/src/
instance.ml
November 2026
N1ark
f086ad30
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1d ago
N1ark
48f2d468
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
6d ago
October 2026
Sacha Ayoun
d78b2421
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1w ago
Sacha Ayoun
9828474d
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
2w ago
Sacha Ayoun
2fa1631d
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3w ago
N1ark
d78108d8
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
N1ark
429bbb64
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3w ago
Sacha Ayoun
1d3eb5f7
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4w ago
Sacha Ayoun
b1211f59
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
September 2026
N1ark
8d4ff9a6
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
N1ark
069566c2
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
1mo ago
N1ark
aa606a7c
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1mo ago
N1ark
de00fd0c
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
N1ark
7d7aa530
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
N1ark
38c684a2
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
e64a9023
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
August 2026
N1ark
217e931e
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
78fc5226
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
N1ark
ab7e4b07
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
N1ark
c80c9634
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
N1ark
f045a0c2
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
N1ark
49be8e53
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
N1ark
696bb581
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
3mo ago
July 2026
Sacha Ayoun
bd3c646f
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
Sacha Ayoun
2e3e66db
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3mo ago
Sacha Ayoun
6efeb3fa
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
N1ark
71b3a05a
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
Sacha Ayoun
053c6227
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
3mo ago
N1ark
8b588ae7
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Sacha Ayoun
8b3429bc
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago
Sacha Ayoun
b6013d02
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
4mo ago
N1ark
7d0eda2e
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4mo ago
June 2026
N1ark
4d49d6ac
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
N1ark
e4656467
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Sacha Ayoun
8f0f472c
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Sacha Ayoun
5dd5a749
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
N1ark
9ca87fa2
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4mo ago
Sacha Ayoun
961dfe83
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
Sacha Ayoun
c9fdf4b8
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
5mo ago
May 2026
Sacha Ayoun
44aa747b
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
5mo ago
N1ark
7f66c018
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
N1ark
d00c47bd
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
Sacha Ayoun
ae80551c
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
5mo ago
Sacha Ayoun
aa0291ea
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
6mo ago
N1ark
f3bef871
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
6mo ago
Sacha Ayoun
f936280c
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
6mo ago
N1ark
6dc0e728
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
6mo ago
April 2026
N1ark
8d4d2296
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
6mo ago
Sacha Ayoun
9be35bad
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
6mo ago
Sacha Ayoun
c04f7118
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next