Skip to content

chore(deps-dev): bump org.jetbrains.lincheck:lincheck from 3.6 to 3.7 - #170

Merged
bernardladenthin merged 1 commit into
mainfrom
dependabot/maven/org.jetbrains.lincheck-lincheck-3.7
Aug 7, 2026
Merged

chore(deps-dev): bump org.jetbrains.lincheck:lincheck from 3.6 to 3.7#170
bernardladenthin merged 1 commit into
mainfrom
dependabot/maven/org.jetbrains.lincheck-lincheck-3.7

Commits

Commits on Aug 2, 2026