From 4395c62e5cb4065176636c73723acea06b7b0719 Mon Sep 17 00:00:00 2001
From: Jakub Chrzanowski <jakub.chrzanowski@jetbrains.com>
Date: Wed, 24 Jun 2020 16:41:46 +0200
Subject: [PATCH] Set platformVersion in gradle.properties to `2019.3`

---
 .github/workflows/build.yml | 4 ++--
 gradle.properties           | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 8810b13..0072253 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -145,8 +145,8 @@ jobs:
         with:
           plugin-location: plugin-artifact/${{ needs.build.outputs.artifact }}
           ide-versions: |
-            ideaIC:2019.3.5
-            ideaIC:2020.1.2
+            ideaIC:2019.3
+            ideaIC:2020.1
             ideaIC:LATEST-EAP-SNAPSHOT
 
       # Print the output of the verify step
diff --git a/gradle.properties b/gradle.properties
index 26445e1..6556275 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -8,5 +8,5 @@ pluginSinceBuild = 193
 pluginUntilBuild = 202
 
 platformType = IC
-platformVersion = 2020.1.2
+platformVersion = 2019.3
 platformDownloadSources = true