Install rtools40 if needed (#4061)

TYPE: NO_HISTORY (cherry picked from commit 8afb588)
TileDB-Inc · May 22, 2023 · 9218a91 · 9218a91
1 parent 1e1fba9
commit 9218a91
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build-rtools40.yml b/.github/workflows/build-rtools40.yml
@@ -19,6 +19,8 @@ jobs:
       - uses: actions/checkout@v3
         with:
           fetch-depth: 1
+      - name: Install rtools40 if needed
+        uses: r-windows/install-rtools@master
       - name: Building TileDB with Rtools40
         run: |
           cd ${GITHUB_WORKSPACE}/.github/workflows/mingw-w64-tiledb