Skip to content
This repository was archived by the owner on Jan 19, 2025. It is now read-only.

build: replace local Simple-ML Jar with remote Safe-DS Jar #649

Merged
merged 3 commits into from
Jun 16, 2022

Conversation

lars-reimann
Copy link
Member

@lars-reimann lars-reimann commented Jun 16, 2022

Closes #327.

Summary of Changes

  • Remove Simple-ML Jar from repository
  • Use instead the published Safe-DS Jar from Maven Central

@github-actions
Copy link

github-actions bot commented Jun 16, 2022

MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ CREDENTIALS secretlint yes no 4.3s
✅ GIT git_diff yes no 0.01s
✅ KOTLIN ktlint 8 0 0 20.11s

See errors details in artifact MegaLinter reports on CI Job page
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

@lars-reimann lars-reimann merged commit 4c06bb5 into main Jun 16, 2022
@lars-reimann lars-reimann deleted the feature/remove_local_jar branch June 16, 2022 15:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Use Simple-ML to create stubs
1 participant