Skip to content

Commit

Permalink
New build passing badge
Browse files Browse the repository at this point in the history
  • Loading branch information
@didriklundberg
didriklundberg committed Nov 9, 2020
1 parent 3b2b126 commit 846fb86
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
[![Build Status](https://travis-ci.com/kth-step/HolBA.svg?branch=master)](https://travis-ci.com/kth-step/HolBA)

# HolBA - Binary analysis in HOL

Be sure to check out the Wiki, which contains some useful general information about HolBA.
Expand Down

0 comments on commit 846fb86

Please sign in to comment.