Skip to content

clarify comment, fix mergerdir name #1685

clarify comment, fix mergerdir name

clarify comment, fix mergerdir name #1685

Annotations

1 warning

nix

succeeded Jan 27, 2025 in 1m 8s
Set up job
0s
Checkout
2s
Allow unprivileged user namespaces (for Ubuntu 24.04)
0s
Install Nix
5s
Run tests
57s
Post Install Nix
0s
Post Checkout
0s
Complete job
0s