diff options
author | Andrew Gallant <jamslam@gmail.com> | 2023-09-28 16:24:40 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2023-10-09 20:29:52 -0400 |
commit | 392bb0944a7a2d0bc8d9e33a6c628a14fc8acc37 (patch) | |
tree | c449ae908558a52c158d23e846b8d3f892bae174 /.github | |
parent | 90b849912f74a41faa9f0b4f0aa3a829a44fd4b5 (diff) |
core: polish the core of ripgrep
This I believe finishes are quest to do mechanical updates to ripgrep's
style, bringing it in line with my current practice (loosely speaking).
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a98a2f56..f75882d3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -53,7 +53,7 @@ jobs: include: - build: pinned os: ubuntu-latest - rust: 1.70.0 + rust: 1.72.1 - build: stable os: ubuntu-latest rust: stable |