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