Files
ripgrep/.github/workflows
James McKinney fc7e634395 ci/release: Use GITHUB_REF_NAME instead of GITHUB_REF
This is a nice quality of life improvement.

Closes #2358
2023-07-08 18:52:42 -04:00
..
2023-07-05 14:04:29 -04:00