Merge pull request #147 from yandex/wp/fix-145

Update logicng to 2.5.0
yandex · May 2, 2024 · f07a196 · f07a196
2 parents 49c19ac + 5e0bc15
commit f07a196
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -19,18 +19,19 @@ jobs:
 
     steps:
       - name: Setup Java
-        uses: actions/setup-java@v4.2.1
+        uses: actions/setup-java@v4
         with:
           java-version: '11'
           distribution: 'temurin'
 
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Setup Gradle
+        uses: gradle/actions/setup-gradle@v3
+
       - name: Check
-        uses: gradle/gradle-build-action@v3.3.1
-        with:
-          arguments: check -Penable_coverage=${{ matrix.os == 'ubuntu-latest' }} --no-configuration-cache --stacktrace
+        run: ./gradlew check -Penable_coverage=${{ matrix.os == 'ubuntu-latest' }} --no-configuration-cache --stacktrace
 
       - name: Upload test results
         uses: actions/upload-artifact@v4

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -28,7 +28,7 @@ autoCommon = "com.google.auto:auto-common:1.2.2"
 poets-java = "com.squareup:javapoet:1.13.0"
 poets-kotlin = "com.squareup:kotlinpoet:1.16.0"
 
-logicng = "org.logicng:logicng-j11:2.4.3"
+logicng = "org.logicng:logicng:2.5.0"
 
 yataganDogFood-api = { module = "com.yandex.yatagan:api-compiled", version.ref = "yataganDogFood" }
 yataganDogFood-ksp = { module = "com.yandex.yatagan:processor-ksp", version.ref = "yataganDogFood" }