From 17c0c37ada420a0f5cdd91f07f7e79f25745f7af Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Fri, 6 Nov 2020 13:52:10 +0100 Subject: [PATCH] Add download links for latest snapshot build from GitLab CI --- CHANGELOG.md | 2 +- README.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 67774ef..17a80da 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## [(next version)](./README.md#for-developers) +## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.2.1-SNAPSHOT-all.jar?job=test) * Updated ProB 2 to version 4.0.0-SNAPSHOT. * Added a `:language` command to allow changing the language used to parse user input. For example `:language event_b` can be used to switch to Event-B syntax when a non-Event-B machine is loaded (or no machine at all). diff --git a/README.md b/README.md index 3b4b0aa..3116d35 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,7 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode * **[Download the latest version here](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.2.0-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.2.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. See the [requirements](#requirements) and [installation instructions](#installation) for information on how to install and use the downloaded jar file. -- GitLab