Merge bot PR after CI

Prefer stable nixpkgs and add some devtools #718

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
judge-dependabot	0s
renovate	0s
selfup-runner	0s
dependabot	0s
	0s