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