Fix report card (#1845)

* fix: report card

Fix and simplify calculation of the number of assignments a user solved.
Rename `UserTracker` to `UserProgress`
Rename `LessonTracker` to `LessonProgress`
Rename tables in database

.github/workflows/build.yml

@@ -5,7 +5,7 @@ on:
             - '.txt'
             - 'LICENSE'
             - 'docs/**'
-        branches: [main]
+        branches: [ main ]
     push:
         branches:
             - main
@@ -14,8 +14,10 @@ jobs:
     build:
         runs-on: ${{ matrix.os }}
         strategy:
+            fail-fast: true
             matrix:
-                os: [ ubuntu-latest, windows-latest, macos-latest ]
+                os: [ windows-latest, ubuntu-latest, macos-13 ]
+            max-parallel: 1
         steps:
             -   uses: actions/checkout@v4.1.6
             -   name: Set up JDK 21
@@ -31,16 +33,4 @@ jobs:
                     key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
                     restore-keys: ${{ runner.os }}-m2-
             -   name: Build with Maven
-                run: |
-                    if [ "$RUNNER_OS" == "macOS" ]; then
-                        # Make "localhost" DNS entry available; see https://github.com/actions/runner-images/issues/6383
-                        # sudo networksetup -setdnsservers Ethernet 9.9.9.9
-                        echo -e "$(ipconfig getifaddr en0) $(hostname -f) $(hostname -s)" | sudo tee -a /etc/hosts
-                        echo `sudo lsof -PiTCP -sTCP:LISTEN`
-                        cat /etc/hosts
-                        mvn --no-transfer-progress verify -DskipTests -DwaittimeForServerStart=150
-                        # skip tests on macos, takes too long with the current runners
-                    else
-                        mvn --no-transfer-progress verify -DwaittimeForServerStart=30
-                    fi
-                shell: bash
+                run: mvn --no-transfer-progress verify