Results 8 issues of u-ways

Hello, There is an incorrect paragraph title at [line 458](https://github.com/dorchard/co519-logic/blob/c8918dc5d2da3049ad5c9aaa3b71e0f04f995b87/partD-notes.tex#L458) It should be "**Elimination** Recall disjunction elimination is:" PR submitted and a screenshot of error can be found below: ---...

Hello, Are there any plans to support extra `properties.gradle.kts` version formats? Example: ```kts // properties.gradle.kts file val fooVersion by extra("1.5.0-RC") val barVersion by extra("1920") ``` Usage ```kts // build.gradle.kts file...

bug
enhancement
help wanted

Hello, I am sharing a demo of broken Batch logic with Oracle Database in Vert.x 4.3.5+ JDBC client. ### Version `4.4.5` ### Context It seems that the client assumes all...

bug

## Background A couple of weeks ago, I was surprised I didn't find any decent opensource reactive backend implementations that combine jOOQ and RabbitMQ in Spring Boot in a production-grade...

The project currently runs on Java 11, however the latest LTS is Java 21. Therefore it would be nice to run this realworld example on the latest Java LTS. The...

enhancement
good first issue
hacktoberfest

The CICD pipeline runs whenever **any** changes are pushed... It would be desirable to set the CICD pipeline to ignore non-sourcecode changes. This is possible using the [excluding path workflow...

enhancement
CICD

Instead of manually updating the dependencies and their versions, it would be desirable to integrate the Gradle refreshVersions dependency within the CICD pipeline. For further details, please see: [Gradle refreshVersions](https://jmfayard.github.io/refreshVersions/)...

enhancement
hacktoberfest
CICD