Update gitpod/workspace-full Docker digest to 25718cd

[renovate[bot]]

This PR contains the following updates:

Package	Type	Update	Change
gitpod/workspace-full	final	digest	5404ba9 -> 25718cd

---

Renovate configuration

:date: Schedule: At any time (no schedule defined).

:vertical_traffic_light: Automerge: Disabled by config. Please merge this manually once you are satisfied.

:recycle: Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

:no_bell: Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR has been generated by WhiteSource Renovate. View repository job log here.