Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Fix CI error when plugin is already named correctly
- Check if plugin file is already named intellij-plugin.zip before renaming
- Use mv instead of cp to avoid duplicate files
- Prevents "are the same file" error in CI

Co-authored-by: Mte90 <403283+Mte90@users.noreply.github.com>
  • Loading branch information
Copilot and Mte90 committed Nov 13, 2025
commit bf4255f9e5c855213ec78b05122b0fee01320a57
4 changes: 2 additions & 2 deletions .github/workflows/kotlin-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -77,8 +77,8 @@ jobs:
run: |
cd ide-plugins/build/distributions
PLUGIN_FILE=$(ls *.zip | head -n 1)
if [ -n "$PLUGIN_FILE" ]; then
cp "$PLUGIN_FILE" intellij-plugin.zip
if [ -n "$PLUGIN_FILE" ] && [ "$PLUGIN_FILE" != "intellij-plugin.zip" ]; then
mv "$PLUGIN_FILE" intellij-plugin.zip
fi
if: success()

Expand Down