Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump Gitpod version to 2024-11-11-13-51-43 #771

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 12, 2024

deps(dockerfile): bump image "gitpod/workspace-full" digest

deps(dockerfile): bump image "gitpod/workspace-full"

changed lines [4] of file "/tmp/updatecli/github/jenkins-docs/quickstart-tutorials/.gitpod/Dockerfile"

GitHub Action workflow link
Updatecli logo

Created automatically by Updatecli

Options:

Most of Updatecli configuration is done via its manifest(s).

  • If you close this pull request, Updatecli will automatically reopen it, the next time it runs.
  • If you close this pull request and delete the base branch, Updatecli will automatically recreate it, erasing all previous commits made.

Feel free to report any issues at github.com/updatecli/updatecli.
If you find this tool useful, do not hesitate to star our GitHub repository as a sign of appreciation, and/or to tell us directly on our chat!

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Nov 12, 2024
@github-actions github-actions bot force-pushed the updatecli_main_6cae6afb4bc2a46809e0d4668606d9a6221840a2acb2b5530092f3f5a55d165c branch 2 times, most recently from 2a17855 to 18ffcb1 Compare November 12, 2024 08:57
@github-actions github-actions bot added the repo label Nov 12, 2024
@github-actions github-actions bot force-pushed the updatecli_main_6cae6afb4bc2a46809e0d4668606d9a6221840a2acb2b5530092f3f5a55d165c branch from 18ffcb1 to 05edd83 Compare November 12, 2024 08:58
@gounthar gounthar merged commit a1170a1 into main Nov 12, 2024
@gounthar gounthar deleted the updatecli_main_6cae6afb4bc2a46809e0d4668606d9a6221840a2acb2b5530092f3f5a55d165c branch November 12, 2024 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file repo
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant