From f585e238c69dbba22ffc3f6503dd3476a5d6203a Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Thu, 27 Apr 2023 12:27:30 -0400
Subject: [PATCH] Fix CI on Windows (#759)

---
 .github/workflows/continuous-integration.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index 9bb0d03707..5c682a2fd1 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.github/workflows/continuous-integration.yml
@@ -36,6 +36,12 @@ jobs:
     steps:
       - name: Check out NullAway sources
         uses: actions/checkout@v3
+      - name: 'Set up JDK 17 on Windows'
+        uses: actions/setup-java@v3
+        with:
+          java-version: '17'
+          distribution: 'temurin'
+        if: matrix.os == 'windows-latest'
       - name: 'Set up JDK ${{ matrix.java }}'
         uses: actions/setup-java@v3
         with: