42.0.2

42.0.2 (2025-03-25)

Dependency updates

• core-deps: update kotlin monorepo to v2.1.20 (patch) (#4300) (ff41965)
• core-deps: update protelis to v17.7.3 (patch) (#4323) (ff4098c)
• deps: update danysk/makepkg docker tag to v1.1.40 (#4305) (1ddc871)
• deps: update dependency ch.qos.logback:logback-classic to v1.5.18 (#4291) (5c61dbc)
• deps: update dependency com.github.spotbugs:spotbugs-annotations to v4.9.3 (#4283) (ebdb83f)
• deps: update dependency com.google.guava:guava to v33.4.5-jre (8a6e661)
• deps: update dependency de.flapdoodle.embed:de.flapdoodle.embed.mongo to v4.19.0 (#4307) (cead8cf)
• deps: update dependency de.flapdoodle.embed:de.flapdoodle.embed.mongo to v4.20.0 (#4309) (04e89ee)
• deps: update dependency org.danilopianini:jirf to v0.4.28 (#4298) (6772ebe)
• deps: update dependency org.danilopianini.gradle-java-qa:org.danilopianini.gradle-java-qa.gradle.plugin to v1.104.0 (#4284) (1ed062a)
• deps: update dependency org.danilopianini.gradle-kotlin-qa:org.danilopianini.gradle-kotlin-qa.gradle.plugin to v0.82.0 (#4318) (c98d5be)
• deps: update dependency org.danilopianini.gradle-kotlin-qa:org.danilopianini.gradle-kotlin-qa.gradle.plugin to v0.84.1 (#4320) (83d5920)
• deps: update dependency org.eclipse.jgit:org.eclipse.jgit to v7.2.0.202503040940-r (#4304) (3cd7442)
• deps: update dependency org.jetbrains.kotlin-wrappers:kotlin-react-dom to v2025.3.15-19.0.0 (#4289) (92f94da)
• deps: update dependency org.mockito:mockito-core to v5.16.1 (#4286) (95e1d2b)
• deps: update dependency org.mongodb:mongodb-driver-sync to v5.4.0 (#4306) (6be212e)
• deps: update dependency scalafmt to v3.9.4 (#4280) (5242eb6)
• deps: update dependency site/themes/hugo-theme-relearn to v7.6.0 (#4321) (dd96a39)
• deps: update graphql to v8.4.0 (minor) (#4293) (71b00f9)
• deps: update junit5 monorepo (patch) (#4282) (c339b8c)
• deps: update plugin multijvmtesting to v3.2.4 (#4302) (e1c3def)
• deps: update plugin multijvmtesting to v3.3.0 (#4313) (87c96d7)
• deps: update plugin org.danilopianini.gradle-pre-commit-git-hooks to v2.0.22 (#4310) (8c797c5)
• deps: update plugin publishoncentral to v8.0.5 (#4311) (1643096)
• deps: update react to v2025.3.12-19.0.0 (patch) (#4281) (5d6e503)
• deps: update react to v2025.3.13-19.0.0 (patch) (#4285) (699cbb8)
• deps: update react to v2025.3.14-19.0.0 (patch) (#4287) (7331ba1)
• deps: update react to v2025.3.16-19.0.0 (patch) (#4294) (2a7fdbf)
• deps: update react to v2025.3.17-19.0.0 (patch) (#4303) (3019956)
• deps: update react to v2025.3.18-19.0.0 (patch) (#4308) (376153c)
• deps: update react to v2025.3.19-19.0.0 (patch) (#4312) (f6ce733)

Bug Fixes

• enforce parameter name coherence to avoid problems when calling functions with named arguments (#4314) (569f2a4)

Tests

• incarnation-protelis: replace star projection with the correct type parameter (7afd140)

Build and continuous integration

• clarify errors when src is not a folder (57b0da5)
• deps: update actions/download-artifact action to v4.2.0 (#4292) (1e7449e)
• deps: update actions/download-artifact action to v4.2.1 (#4295) (c54ba0c)
• deps: update actions/setup-node action to v4.3.0 (#4290) (35cb80e)
• deps: update actions/upload-artifact action to v4.6.2 (#4296) (41f4ad6)
• deps: update danysk/build-check-deploy-gradle-action action to v3.7.13 (#4299) (8cc1900)

General maintenance

• build: update the javadoc.io cache (3b2fe1d)
• build: update the javadoc.io cache (ae47317)
• build: update the javadoc.io cache (63cd519)
• build: update the javadoc.io cache (9f1c211)
• build: update the javadoc.io cache (147e39b)
• build: update the javadoc.io cache (d215fa8)
• build: update the javadoc.io cache (95b365b)
• build: update the javadoc.io cache (363f8ad)
• build: update the javadoc.io cache (0016aef)
• build: update the javadoc.io cache (2643896)
• build: update the javadoc.io cache (b50a159)
• build: update the javadoc.io cache (ed5dfd2)
• build: update the javadoc.io cache (e870116)
• build: update the javadoc.io cache (7965b4f)
• build: update the javadoc.io cache (6f0caa1)
• build: update the javadoc.io cache (812ec36)
• build: update the javadoc.io cache (5bdee68)
• build: update the javadoc.io cache (80e99da)
• build: update the javadoc.io cache (568a733)
• build: update the javadoc.io cache (3c8df68)
• build: update the javadoc.io cache (ced5d13)
• build: update the javadoc.io cache (395a81f)
• build: update the javadoc.io cache (35846c0)
• build: update the javadoc.io cache (b37b45e)
• build: update the javadoc.io cache (3f8463a)
• build: update the javadoc.io cache (571bf3d)