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/
derive.nix
November 2026
Sergio Miguéns
46e0e757
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1d ago
October 2026
Robert Hensing
85fdce98
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4d ago
Sergio Miguéns
2e132dbc
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
0762b5b9
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
ad7c6a98
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
2323ac27
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
0a7a92aa
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
a38eefd5
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
fc4e6fea
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4w ago
Pol Dellaiera
c1117247
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1mo ago
September 2026
Pol Dellaiera
98eed1f2
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
74690e9a
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
98355ed5
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
a8d3fb48
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
95952093
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
10ad5745
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
150d5ca0
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1mo ago
mivorasu
7fc96c57
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
21770572
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
c045ad62
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
August 2026
Robert Hensing
701272b5
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
550c5912
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2mo ago
mivorasu
efc9e683
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
d1d4e1e8
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
mivorasu
0e3fd175
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
ce141d50
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
6145a71a
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
e816fbc5
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
3mo ago
July 2026
mivorasu
76d87bbc
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
f66ef0b2
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
db6000e5
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
d4efff75
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
0004a098
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
f6f59290
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
5f919b78
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
a9d4bf38
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
df61ee97
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
June 2026
Robert Hensing
365d35b1
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
bf783e19
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
4c549a82
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
2a705615
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
5ea9ed4d
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
26010b91
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
May 2026
Robert Hensing
0a59b63c
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
mivorasu
0784e466
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
6f87e7dc
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
5mo ago
mivorasu
221a36cf
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
622d6c39
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
92667bb2
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
ef48e28e
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
Next