From 04f0aa1a7aad3626b6a53892226a3a32aef88a56 Mon Sep 17 00:00:00 2001
From: Harsh Shandilya <me@msfjarvis.dev>
Date: Wed, 2 Dec 2020 20:14:04 +0530
Subject: [PATCH] github: setup JDK 11 in PR workflow

Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
---
 .github/workflows/pull_request.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index 995ff811..9e1e44c8 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -14,6 +14,9 @@ jobs:
   test-pr:
     runs-on: ubuntu-latest
     steps:
+    - uses: actions/setup-java@d202f5dbf7256730fb690ec59f6381650114feb2
+      with:
+        java-version: '11'
     - name: Checkout repository
       uses: actions/checkout@c952173edf28a2bd22e1a4926590c1ac39630461