Sign in
Join now
nixpkgs
lukegb.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
What happens if I push all of nixpkgs
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
pkgs/development/idris-modules/
mapping.nix
November 2026
Pol Dellaiera
11560a8b
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1d ago
October 2026
Robert Hensing
cea1b65e
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
5d ago
Pol Dellaiera
d74d5243
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
fa3d2730
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
3c928a54
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
b52f874f
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
8cf2acd4
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
e21e8e9b
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
f3f72a3c
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4w ago
Sergio Miguéns
2b91098b
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
1mo ago
September 2026
mivorasu
aa24d22d
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
28f88641
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
d2439059
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
ab719caa
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
181e8694
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
5827c451
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1mo ago
mivorasu
c1c1afa7
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
August 2026
Robert Hensing
8f9590fc
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
1b844dd6
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
mivorasu
fc497c3a
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
efae2dee
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
b29e2123
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
mivorasu
840ca709
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
f861b353
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
23932b9f
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
4842ceb7
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
735503fd
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
c0639155
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3mo ago
July 2026
Sergio Miguéns
258334ec
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
1cdcc4c5
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
ffffb25e
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
5f3bfc6a
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
7da46b6f
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
mivorasu
ca8e3506
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
1e2750cc
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
befa5b7e
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago