Skip to content

Conversation

@ligurio
Copy link
Owner

@ligurio ligurio commented Jan 6, 2026

@ligurio ligurio force-pushed the ligurio/happy-new-bump branch 5 times, most recently from 1f3d8d7 to 6b1525b Compare January 6, 2026 13:44
The patch bumps Java version to 17.
Jepsen has been updated to version v0.3.10. See changes in [1].

1. jepsen-io/jepsen@v0.3.7...v0.3.10
Knossos has been updated to version v0.3.13. See changes in [1].

1. jepsen-io/knossos@v0.3.12...v0.1.13
Elle has been updated to version v0.2.5. See changes in [1].

1. jepsen-io/elle@v0.2.4...v0.2.5
@ligurio ligurio force-pushed the ligurio/happy-new-bump branch from 6b1525b to 1ae7b59 Compare January 6, 2026 13:48
@ligurio ligurio merged commit 0f7220e into master Jan 6, 2026
2 checks passed
@ligurio ligurio deleted the ligurio/happy-new-bump branch January 6, 2026 13:59
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