Dependency Dashboard

[renovate]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
View this repository on the Mend.io Web Portal.

Config Migration Needed

• Select this checkbox to let Renovate create an automated Config Migration PR.

Repository problems

These problems occurred while renovating this repository. View logs.

• WARN: Repository cache is invalid

This repository currently has no open or pending branches.

Detected dependencies

github-actions

.github/workflows/check.yml

• actions/checkout v4@11bd71901bbe5b1630ceea73d27597364c9af683

gitlabci

.gitlab-ci.yml

gradle

settings.gradle.kts

• com.gradle.enterprise 3.19.2

build.gradle.kts

gradle/libs.versions.toml

• org.jetbrains.kotlin:kotlin-bom 2.1.10
• org.jetbrains.kotlin:kotlin-test 2.1.10
• org.jetbrains.kotlin:kotlin-test-junit 2.1.10
• org.jetbrains.kotlin:kotlin-stdlib 2.1.10
• org.jetbrains.kotlin:kotlin-stdlib-jdk8 2.1.10
• org.jetbrains.kotlin:kotlin-stdlib-js 2.1.10
• org.jetbrains.kotlin:kotlin-reflect 2.1.10
• it.unibo.tuprolog:2p-jvm 1.0.4
• it.unibo.tuprolog:ide 1.0.4
• it.unibo.tuprolog:repl-jvm 1.0.4
• it.unibo.tuprolog:core-jvm 1.0.4
• it.unibo.tuprolog:unify-jvm 1.0.4
• it.unibo.tuprolog:theory-jvm 1.0.4
• it.unibo.tuprolog:solve-jvm 1.0.4
• it.unibo.tuprolog:solve-classic-jvm 1.0.4
• it.unibo.tuprolog:parser-core-jvm 1.0.4
• it.unibo.tuprolog:parser-theory-jvm 1.0.4
• it.unibo.tuprolog:dsl-core-jvm 1.0.4
• it.unibo.tuprolog:dsl-unify-jvm 1.0.4
• it.unibo.tuprolog:dsl-theory-jvm 1.0.4
• it.unibo.tuprolog:dsl-solve-jvm 1.0.4
• org.jetbrains.kotlin.jvm 2.1.10

resolution/build.gradle.kts

side-effects/build.gradle.kts

substitutions/build.gradle.kts

theories/build.gradle.kts

unification/build.gradle.kts

gradle-wrapper

gradle/wrapper/gradle-wrapper.properties

• gradle 8.13

---

• Check this box to trigger a request for Renovate to run again on this repository