Merge branch 'eiffel-community:master' into master

Author: z-sztrom

.github/workflows/main.yml

@@ -33,3 +33,9 @@ jobs:
       - name: Run test
         shell: bash
         run : mvn -V -B -U clean test jacoco:report
+
+      - name: Coveralls
+        if: github.event_name == 'push'
+        uses: coverallsapp/github-action@v2
+        with:
+          github-token: ${{ github.token }}

README.md

@@ -18,7 +18,7 @@
 <img src="./images/logo.png" alt="Eiffel RemRem" width="350"/>
 
 [![Sandbox badge](https://img.shields.io/badge/Stage-Sandbox-yellow)](https://github.com/eiffel-community/community/blob/master/PROJECT_LIFECYCLE.md#stage-sandbox)
-[![Build Status](https://travis-ci.org/eiffel-community/eiffel-remrem-generate.svg?branch=master)](https://travis-ci.org/eiffel-community/eiffel-remrem-generate)
+[![CI](https://github.com/eiffel-community/eiffel-remrem-generate/actions/workflows/main.yml/badge.svg)](https://github.com/eiffel-community/eiffel-remrem-generate/actions/workflows/main.yml)
 [![Coverage Status](https://coveralls.io/repos/github/eiffel-community/eiffel-remrem-generate/badge.svg?branch=master)](https://coveralls.io/github/eiffel-community/eiffel-remrem-generate?branch=master)
 [![](https://jitpack.io/v/eiffel-community/eiffel-remrem-generate.svg)](https://jitpack.io/#eiffel-community/eiffel-remrem-generate)