Skip to content

Remove dependency to score_logging#297

Merged
castler merged 2 commits intoeclipse-score:mainfrom
castler:js_remove_score_logging_dep
Apr 14, 2026
Merged

Remove dependency to score_logging#297
castler merged 2 commits intoeclipse-score:mainfrom
castler:js_remove_score_logging_dep

Conversation

@castler
Copy link
Copy Markdown
Contributor

@castler castler commented Apr 14, 2026

In order to avoid cyclic dependencies, we remove this dependencies, as it is also no longer needed.

@castler castler force-pushed the js_remove_score_logging_dep branch 2 times, most recently from de3dab9 to 437cadb Compare April 14, 2026 13:26
LittleHuba
LittleHuba previously approved these changes Apr 14, 2026
@castler castler marked this pull request as ready for review April 14, 2026 13:30
@castler castler enabled auto-merge April 14, 2026 13:30
In order to avoid cyclic dependencies, we remove this dependencies, as
it is also no longer needed.
@castler castler added this pull request to the merge queue Apr 14, 2026
In order to avoid the non-hermetic auto-detected toolchain, we ensure
that the examples use the s-core provided toolchain
Merged via the queue into eclipse-score:main with commit 39dd73d Apr 14, 2026
8 checks passed
@castler castler deleted the js_remove_score_logging_dep branch April 14, 2026 19:40
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.

3 participants