diff options
| author | Oleksandr Anyshchenko <aanischenko@gmail.com> | 2023-02-10 11:25:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-10 11:25:33 +0100 |
| commit | e646999c71360497660a316520c72d88ad61dcc9 (patch) | |
| tree | 7aa0701f1961f673e29f53491457bdc9f2e6d0be /.github | |
| parent | 1c879f073f9c21af5f1bdfa9e9f0ecf221fca328 (diff) | |
Check in CI compatibility with MSRV (#741)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/rust.yml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 9fd58b7..cc574a8 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -1,6 +1,8 @@ name: RocksDB CI on: [push, pull_request] +env: + RUST_VERSION: 1.60.0 jobs: fmt: @@ -12,7 +14,7 @@ jobs: - name: Install rust uses: actions-rs/toolchain@v1 with: - toolchain: stable + toolchain: ${{ env.RUST_VERSION }} components: rustfmt profile: minimal override: true @@ -31,7 +33,7 @@ jobs: - name: Install rust uses: actions-rs/toolchain@v1 with: - toolchain: stable + toolchain: ${{ env.RUST_VERSION }} components: clippy profile: minimal override: true @@ -69,7 +71,7 @@ jobs: - name: Install rust uses: actions-rs/toolchain@v1 with: - toolchain: ${{ matrix.rust || 'stable' }} + toolchain: ${{ env.RUST_VERSION }} target: ${{ matrix.target }} profile: minimal override: true |