chore: deps(dockerfile): bump image "gitpod/workspace-full" (jenkins-docs#1838)

Made with ❤️️ by updatecli

Co-authored-by: GitHub Actions <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Bruno Verachten <gounthar@gmail.com>

Author: github-actions[bot]