CI: Using more appropriate GitHub Actions syntax to set path
Looks like GitHub Actions provides a specific command to add to the PATH, which is simpler (and also works on Windows, which is not required in this case, but will be when we add the test jobs).
sure