Skip to content

Update devcontainer#13632

Merged
Siedlerchr merged 1 commit into
mainfrom
updateDecontainer
Aug 3, 2025
Merged

Update devcontainer#13632
Siedlerchr merged 1 commit into
mainfrom
updateDecontainer

Conversation

@Siedlerchr

Copy link
Copy Markdown
Member

Closes _____

Steps to test

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [.] Change in CHANGELOG.md described in a way that is understandable for the average user (if change is visible to the user)
  • [.] Tests created for changes (if applicable)
  • [.] Manually tested changed features in running JabRef (always required)
  • [.] Screenshots added in PR description (if change is visible to the user)
  • [.] Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • [.] Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

@Siedlerchr Siedlerchr changed the title Update decontainer Update devcontainer Aug 2, 2025
@Siedlerchr Siedlerchr added the automerge PR is tagged with that label will be merged if workflows are green label Aug 2, 2025
@trag-bot

trag-bot Bot commented Aug 2, 2025

Copy link
Copy Markdown

@trag-bot didn't find any issues in the code! ✅✨

@koppor koppor enabled auto-merge August 2, 2025 11:23
@Siedlerchr Siedlerchr disabled auto-merge August 3, 2025 11:37
@Siedlerchr Siedlerchr merged commit 1bebe5b into main Aug 3, 2025
2 checks passed
@Siedlerchr Siedlerchr deleted the updateDecontainer branch August 3, 2025 11:37
Comment on lines +35 to +36
"installGradle": true,
"gradleVersion": "8.14.3",

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Interesting, that we need a gradle install

@koppor koppor mentioned this pull request Aug 3, 2025
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge PR is tagged with that label will be merged if workflows are green

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants