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/compilers/idris2/
tests.nix
November 2026
Pol Dellaiera
a7153144
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3d ago
October 2026
mivorasu
f359c63b
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
ae09d5b9
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1w ago
Pol Dellaiera
123c039a
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2w ago
mivorasu
3fcc7107
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2w ago
mivorasu
8bb64c34
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
033a8ad5
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
mivorasu
39ae1f75
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
900e5fc4
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1mo ago
September 2026
Sergio Miguéns
352ac3d1
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago