Problem: 'nix run' interface has changed with flake addition. However, CI pipeline in this repo still uses the old 'nix run' for which we keep a workaround on our build servers.
Solution: Use 'nix shell' instead.
Related issue(s)
Fixed #
:white_check_mark: Checklist for your Pull Request
Related changes (conditional)
Tests
[ ] If I added new functionality, I added tests covering it.
[ ] If I fixed a bug, I added a regression test to prevent the bug from
silently reappearing again.
Documentation
[ ] I checked whether I should update the docs and did so if necessary:
Description
Problem: 'nix run' interface has changed with flake addition. However, CI pipeline in this repo still uses the old 'nix run' for which we keep a workaround on our build servers.
Solution: Use 'nix shell' instead.
Related issue(s)
Fixed #
:white_check_mark: Checklist for your Pull Request
Related changes (conditional)
Tests
Documentation
Stylistic guide (mandatory)