Skip to content

Commit 72ed6c6

Browse files
committed
Update README.md
add information about continuous deployment [skip ci] (cherry picked from commit 705b246)
1 parent 5c5aebd commit 72ed6c6

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,8 @@ Note, that LearnLib requires Java 8.
4242

4343
#### Building development versions
4444

45-
If you intend to use development versions of LearnLib, simply clone the development branch of the repository
45+
If you intend to use development versions of LearnLib, you can either use the deployed SNAPSHOT artifacts from the continuous integration server (see [Using Development Versions](https://github.com/LearnLib/learnlib/wiki/Using-Development-Versions)), or build them yourself.
46+
Simply clone the development branch of the repository
4647

4748
```
4849
git clone -b develop --single-branch https://github.com/LearnLib/learnlib.git

0 commit comments

Comments
 (0)