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/
syntaxes.ml
November 2026
Sacha Ayoun
f6a6a490
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
13h ago
N1ark
cdf14efc
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
6d ago
N1ark
9ef3edb1
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1w ago
Sacha Ayoun
3caae5dd
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1w ago
October 2026
N1ark
bd8a5ba1
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2w ago
Sacha Ayoun
50d19d2e
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2w ago
Sacha Ayoun
9b4b4c8c
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
N1ark
57aa0715
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
3w ago
N1ark
417cf20e
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3w ago
N1ark
a2206a6f
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
N1ark
28534510
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1mo ago
N1ark
a0f456df
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
N1ark
83fd1731
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1mo ago
Sacha Ayoun
73d55461
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
Sacha Ayoun
f86a17ff
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
September 2026
N1ark
a84381a2
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
N1ark
8a6bd0cc
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
N1ark
e876cba9
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
9bd1f779
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
a48cb347
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2mo ago
N1ark
aeecf357
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
6bba2c78
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
August 2026
Sacha Ayoun
f3346075
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
3482de59
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
N1ark
5558ce98
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
N1ark
86fa5d70
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
N1ark
653d82bb
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2mo ago
Sacha Ayoun
c2eb3a95
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
N1ark
934f335a
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
N1ark
b1294bac
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3mo ago
July 2026
Sacha Ayoun
8ff2c877
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
N1ark
7e28b0d2
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
N1ark
627801bd
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Sacha Ayoun
9a6f39f5
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
N1ark
d04e5a76
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
4mo ago
N1ark
80baaaf6
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago