flake.nix: use a Nix package to facilitate sharing (#2016)
#7
| Job | Run time |
|---|---|
| 8m 29s | |
| 8m 29s |
flake.nix: use a Nix package to facilitate sharing (#2016)
#7
| Job | Run time |
|---|---|
| 8m 29s | |
| 8m 29s |