Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[v14] Remove CI-specific UID/GID to appease GH's breaking change
GitHub unexpectedly made a breaking change to the `runner` user used in GHA pipelines. This works around the issue by removing the hard-coded uid/gid values in our makefile.
- Loading branch information