From 8ee009f0d806e068f274c63701c2271cb56d1293 Mon Sep 17 00:00:00 2001
From: Radek Hubner <rhubner@users.noreply.github.com>
Date: Wed, 25 Oct 2023 15:43:05 -0700
Subject: [PATCH] Downgrade windows 2019 build to older image. (#12014)

Summary:
This should fix failed java windows build  https://github.com/facebook/rocksdb/issues/12013

Pull Request resolved: https://github.com/facebook/rocksdb/pull/12014

Reviewed By: ajkr

Differential Revision: D50664503

Pulled By: akankshamahajan15

fbshipit-source-id: 3466ce42d3cae3f8e0beba88a18744d647a32a2c
---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 711e471c12..952aa54096 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -600,6 +600,7 @@ jobs:
   build-windows-vs2019:
     executor:
       name: win/server-2019
+      version: 2023.08.1
       size: 2xlarge
     environment:
       THIRDPARTY_HOME: C:/Users/circleci/thirdparty