You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PLUGIN_SINCE_BUILD=$(echo "${{ steps.latest-version.outputs.result }}" | sed 's/-EAP-CANDIDATE-SNAPSHOT//' | sed 's/-CUSTOM-SNAPSHOT//')
60
65
sed -i "s/pluginSinceBuild=.*/pluginSinceBuild=$PLUGIN_SINCE_BUILD/" ${{ inputs.gradlePropertiesPath }}
66
+
sed -i "s/pluginVerifierIdeVersions=.*/pluginVerifierIdeVersions=${{ steps.latest-version.outputs.majorVersion }}/" ${{ inputs.gradlePropertiesPath }}
61
67
sed -i 's/platformVersion=${{ steps.current-version.outputs.result }}/platformVersion=${{ steps.latest-version.outputs.result }}/' ${{ inputs.gradlePropertiesPath }}
62
68
git diff
63
69
- name: Create Pull Request for Gateway Plugin
@@ -71,12 +77,19 @@ jobs:
71
77
This PR updates the Platform Version from ${{ inputs.pluginName }} to the latest version.
72
78
73
79
## How to test
80
+
81
+
Merge if tests are green, if something breaks then add tests for regressions.
82
+
83
+
<details>
84
+
<summary>if you want to test manually for some reasons</summary>
85
+
74
86
1. Ensure you have the Gateway installed from [JetBrains Toolbox App](https://www.jetbrains.com/toolbox-app/) and have it up-to-date.
75
87
- You should use Gateway version corresponding to plugin qualifier, i.e. for stable plugin test with released, for latest test with EAP.
76
88
- It could be that a new Gateway is not published for the given SDK yet then wait for it to be published. You can check the build version in the About dialog.
77
89
2. Download the plugin build related to this branch in [Dev Versions](https://plugins.jetbrains.com/plugin/18438-gitpod-gateway/versions/dev), and [install it on the Gateway](https://www.jetbrains.com/help/idea/managing-plugins.html#install_plugin_from_disk).
78
90
- You can also uninstall current Gitpod plugin, configure dev channel using https://plugins.jetbrains.com/plugins/list?channel=dev&pluginId=18438-gitpod-gateway and restart GW to test that the proper version is detected and installed.
79
91
3. Create a new workspace from the Gateway (it's ok to use the pre-selected IDE and Repository) and confirm if JetBrains Client can connect to it.
92
+
</details>
80
93
81
94
## Release Notes
82
95
```release-note
@@ -114,11 +127,17 @@ jobs:
114
127
This PR updates the Platform Version from ${{ inputs.pluginName }} to the latest version.
115
128
116
129
## How to test
130
+
131
+
Merge if tests are green, if something breaks then add tests for regressions.
132
+
133
+
<details>
134
+
<summary>if you want to test manually for some reasons</summary>
117
135
1. Open the preview environment generated for this branch
118
136
2. Choose the _Latest Release (Unstable)_ version of IntelliJ IDEA as your preferred editor
119
137
3. Start a workspace using this repository: https://github.com/gitpod-samples/spring-petclinic
0 commit comments