Skip to content

Commit 2e07b35

Browse files
wadoonwadoon
committed
travis
1 parent e515975 commit 2e07b35

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

‎.travis.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
language: java

‎README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
# key-java-example
22
Example project for program verification on the KeY platform
3+
4+
[![Build Status](https://travis-ci.org/KeYProject/key-java-example.svg?branch=master)](https://travis-ci.org/KeYProject/key-java-example)

0 commit comments

Comments
 (0)