Skip to content

Fixed Rascal packager configuration#6

Merged
jurgenvinju merged 2 commits into
mainfrom
chore/fix-packager-configuration
Oct 1, 2025
Merged

Fixed Rascal packager configuration#6
jurgenvinju merged 2 commits into
mainfrom
chore/fix-packager-configuration

Conversation

@rodinaarssen

Copy link
Copy Markdown
Member
  • This PR ensures that, during a build, CI locations in tpl files are correctly rewritten to mvn:/// locations
  • Bumped a dependency that contained a known vulnerability

@jurgenvinju jurgenvinju merged commit 7d6440a into main Oct 1, 2025
1 check passed
@jurgenvinju jurgenvinju deleted the chore/fix-packager-configuration branch October 1, 2025 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants