Skip to content
Snippets Groups Projects
Commit d65a7672 authored by dgelessus's avatar dgelessus
Browse files

Release version 1.4.1

parent e79b5fcc
Branches
Tags v1.4.1
No related merge requests found
Checking pipeline status
......@@ -2,6 +2,10 @@
## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test)
* (no changes yet)
## [1.4.1](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.1-all.jar)
* Updated to ProB 1.12.1 (ProB Java API version 4.12.1).
## [1.4.0](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.0-all.jar)
......
......@@ -8,7 +8,7 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode
## Downloads
* **[Download the latest version of the ProB2 Jupyter kernel here](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.0-all.jar).**
* **[Download the latest version of the ProB2 Jupyter kernel here](https://stups.hhu-hosting.de/downloads/prob2-jupyter/prob2-jupyter-kernel-1.4.1-all.jar).**
* Download links for previous versions can be found in the [changelog].
* A [snapshot build](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.4.1-SNAPSHOT-all.jar?job=test) of the latest development version is also available. **Warning:** this is an unstable version that can contain bugs or breaking changes.
......
......@@ -8,7 +8,7 @@ plugins {
id("com.github.johnrengelman.shadow").version("7.1.2")
}
version = "1.4.1-SNAPSHOT"
version = "1.4.1"
final isSnapshot = project.version.endsWith("-SNAPSHOT")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment