diff --git a/README.md b/README.md index cf2522c1..3d0ab03a 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,9 @@ -LTSmin [![Build Status](https://travis-ci.org/utwente-fmt/ltsmin.svg?branch=master)](https://travis-ci.org/utwente-fmt/ltsmin) [![FMT](http://fmt.cs.utwente.nl/images/fmt-logo.png)](http://fmt.cs.utwente.nl/) [![UT](https://www.symbitron.eu/wp-content/uploads/2013/10/UT_Logo_2400_Black_EN1-300x58.png)](https://www.utwente.nl/) -=== +# LTSmin + +[Build Status](https://github.com/utwente-fmt/ltsmin/actions/workflows/Tests.yml) + +[FMT](https://www.utwente.nl/en/eemcs/fmt/) +[UT](https://www.utwente.nl/) ## What is LTSmin diff --git a/resources/fmt.png b/resources/fmt.png new file mode 100644 index 00000000..28b99dad Binary files /dev/null and b/resources/fmt.png differ diff --git a/resources/ut.png b/resources/ut.png new file mode 100644 index 00000000..f85e44c3 Binary files /dev/null and b/resources/ut.png differ