Merge branch 'replace-travis-with-github-actions' into 'master'

Replace travis CI with github actions

Closes #493

See merge request se2/scratch/litterbox/litterbox!692

.github/workflows/maven-test.yml

@@ -0,0 +1,26 @@
+name: Build & Test
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build_and_test:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up JDK
+        uses: actions/setup-java@v4
+        with:
+          java-version: "17"
+          distribution: "temurin"
+          cache: maven
+
+      - name: Run tests
+        run: mvn --batch-mode --update-snapshots test jacoco:report
+
+      - uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}

README.md

@@ -1,7 +1,6 @@
 ![LitterBox Logo](src/main/resources/litterbox.png "LitterBox Logo")
 
-![License LGPL v3](https://img.shields.io/github/license/se2p/LitterBox?color=blue&style=flat-square)
-![Travis (.org)](https://img.shields.io/travis/se2p/LitterBox?style=flat-square)
+![License GPL v3](https://img.shields.io/github/license/se2p/LitterBox?color=blue&style=flat-square)
 ![Codecov](https://img.shields.io/codecov/c/github/se2p/LitterBox?style=flat-square)
 
 LitterBox is a static code analysis tool for detecting bugs in