Skip to content

Activity

Showing most recent first

Merge pull request #129 from trilogy-group/jetbrains-ide-build-fix

Pull request merge
us88pushed 9 commits to main • 74a4bf1…9664476 • 
on Jan 14, 2024

Don't force gradle home for GA

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 840493b…2b6b43b • 
on Jan 12, 2024

Fix compilation

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • ca35ecf…840493b • 
on Jan 12, 2024

Sync whole backend plugin

Force push
daniel-wachiraforce pushed to jetbrains-ide-build-fix • 31400e7…ca35ecf • 
on Jan 12, 2024

Sync whole backend plugin

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 2022018…31400e7 • 
on Jan 12, 2024

Just pick a known good version

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 2d20c0e…2022018 • 
on Jan 12, 2024

Bump plugin to 2023.2

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 69c2c6b…2d20c0e • 
on Jan 11, 2024

Fix platform version for backend plugin

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 0387e5c…69c2c6b • 
on Jan 11, 2024

Also update backend plugin

daniel-wachirapushed 1 commit to jetbrains-ide-build-fix • 2e4f445…0387e5c • 
on Jan 11, 2024

Update config to latest 22.2 release

daniel-wachiracreated jetbrains-ide-build-fix • 2e4f445 • 
on Jan 11, 2024

Fixes (#128)

Pull request merge
pavan-tripushed 1 commit to main • 6ad43e2…74a4bf1 • 
on Aug 12, 2023

Log an error in case of unexpected schema

daniel-wachirapushed 1 commit to code-1.78-deploy • a40ac00…956b162 • 
on Jul 16, 2023

Open desktop connection as a Uri

daniel-wachirapushed 1 commit to code-1.78-deploy • 944e96e…a40ac00 • 
on Jul 16, 2023

Debug: Write external uri to log

daniel-wachirapushed 1 commit to code-1.78-deploy • 20f7280…944e96e • 
on Jul 16, 2023

Fix registry-facade builder

Force push
daniel-wachiraforce pushed to code-1.78-deploy • 1d75e2f…20f7280 • 
on Jul 14, 2023

Fix repository

daniel-wachirapushed 1 commit to code-1.78-deploy • fd8ce7a…1d75e2f • 
on Jul 14, 2023

Fix registry-facade builder

daniel-wachiracreated code-1.78-deploy • fd8ce7a • 
on Jul 14, 2023

Bump code to 1.78 (#127)

Pull request merge
pavan-tripushed 1 commit to main • 0e2c6b9…6ad43e2 • 
on Jul 14, 2023

Restore minification

daniel-wachirapushed 1 commit to gp-code-1.78 • b44a6c9…b2fae9c • 
on May 21, 2023

Patch workbench index file to account for different path rendering vs…

daniel-wachirapushed 1 commit to gp-code-1.78 • dc56ab8…b44a6c9 • 
on May 21, 2023

Oops

daniel-wachirapushed 1 commit to gp-code-1.78 • 1eddabe…dc56ab8 • 
on May 21, 2023

Fix whitespace conversion bug

daniel-wachirapushed 1 commit to gp-code-1.78 • febdc71…1eddabe • 
on May 21, 2023

Fix the baseURL

daniel-wachirapushed 1 commit to gp-code-1.78 • b373c56…febdc71 • 
on May 21, 2023

Skip minify for now

daniel-wachirapushed 1 commit to gp-code-1.78 • 98a3435…b373c56 • 
on May 20, 2023

Fix build

daniel-wachirapushed 1 commit to gp-code-1.78 • 2d007d1…98a3435 • 
on May 19, 2023

gitpod: Code 1.78 compatibility patches

daniel-wachirapushed 1 commit to gp-code-1.78 • 64635fd…2d007d1 • 
on May 19, 2023

Build extensions from gitpod-code repo directly

daniel-wachirapushed 1 commit to gp-code-1.78 • a684dfc…64635fd • 
on May 14, 2023

Fix extensions

daniel-wachirapushed 1 commit to gp-code-1.78 • 17e799b…a684dfc • 
on May 13, 2023

Fixup

daniel-wachirapushed 1 commit to gp-code-1.78 • 0edd1f2…17e799b • 
on May 13, 2023

Separate the patches

daniel-wachirapushed 1 commit to gp-code-1.78 • d88026c…0edd1f2 • 
on May 13, 2023