Skip to content
Snippets Groups Projects
Unverified Commit acde79c9 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe Committed by GitHub
Browse files

Update status badges to include Github build. 

[Build]
parent 38b12793
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
README.md
+ 2
− 1
View file @ acde79c9
[![Build Status](https://travis-ci.org/tlaplus/tlaplus.svg?branch=master)](https://travis-ci.org/tlaplus/tlaplus)
[![TLC Build Status](https://travis-ci.org/tlaplus/tlaplus.svg?branch=master)](https://travis-ci.org/tlaplus/tlaplus)
[![Toolbox Build Status](https://github.com/tlaplus/tlaplus/workflows/CI/badge.svg?branch=master)](https://github.com/tlaplus/tlaplus/actions?query=workflow%3ACI)
For more information, visit http://lamport.azurewebsites.net/tla/tla.html
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment