Commit 4018deb9 authored by Alexander Weigl's avatar Alexander Weigl
Browse files

incr version


Signed-off-by: default avatarAlexander Weigl <weigl@kit.edu>
parent aaf5df6c
......@@ -49,6 +49,9 @@ script:
## Changelog
* [1.3.0-alpha](https://formal.iti.kit.edu/ci-tool/keyext.citool-1.3.0--alpha-all.jar): Adding junit xml output
- A new option `--xml-output [FILE]` was added. If specified, an XML file is written in the JUnit format.
* [1.2.0](https://formal.iti.kit.edu/ci-tool/keyext.citool-1.2.0-all.jar): Hot-fix for KeY
- repairing model fields in set statements
......
......@@ -4,7 +4,7 @@ plugins {
id 'com.github.johnrengelman.shadow' version "5.0.0"
}
version = "1.2.0"
version = "1.3.0-alpha"
dependencies {
implementation "org.jetbrains.kotlin:kotlin-stdlib-jdk8"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment