search

alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58 stars 10 forks source link

repo: Migrate to Java 11 #315

Closed lorenzleutgeb closed 1 year ago

lorenzleutgeb commented 2 years ago

Resolves #301

codecov[bot] commented 2 years ago

Codecov Report

Base: 70.58% // Head: 70.58% // No change to project coverage :thumbsup:

Coverage data is based on head (4bd7fc7) compared to base (b6f39e3). Patch has no changes to coverable lines.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #315 +/- ## ========================================= Coverage 70.58% 70.58% Complexity 2147 2147 ========================================= Files 181 181 Lines 8049 8049 Branches 1432 1432 ========================================= Hits 5681 5681 Misses 1994 1994 Partials 374 374 ``` Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=alpha-asp). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=alpha-asp)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.

madmike200590 commented 1 year ago

Changed this a bit to upgrade to Java 11 instead of 17 so Alpha can be used by most applications out there and we can still finally get rid of Java 8.