Use Dodona image in tests

.github/workflows/ci.yml

@@ -5,40 +5,10 @@ on: [ push ]
 jobs:
   test:
     runs-on: ubuntu-22.04
+    container: dodona-tested
     steps:
       - uses: actions/checkout@v3
-      - uses: actions/setup-python@v4
-        with:
-          python-version: 3.11.2
-          cache: 'pipenv'
-      - run: pip install pipenv
       - run: pipenv install --dev
-      - uses: actions/setup-java@v3
-        with:
-          distribution: 'temurin'
-          java-version: '17'
-      - uses: haskell/actions/setup@v2
-        with:
-          ghc-version: '9.2'
-          cabal-version: '3.6'
-      - uses: actions/cache@v3
-        name: Cache cabal
-        with:
-          path: |
-            ~/.cabal
-            ~/.ghc
-            dist-newstyle
-          key: ${{ runner.os }}-ghc-9.2.1-20220111
-          restore-keys: |
-            ${{ runner.os }}-ghc-9.2.1-
-      - run: cabal v1-install aeson
-      - uses: actions/setup-node@v3
-        with:
-          node-version: 16
-      - run: npm install abstract-syntax-tree@2.20
-      - run: npm install -g eslint@8.36
-      - run: sudo apt -y install hlint cppcheck shellcheck checkstyle
-      - run: curl -sSLO https://github.com/pinterest/ktlint/releases/download/0.48.2/ktlint && chmod a+x ktlint
       - run: echo "${GITHUB_WORKSPACE}" >> $GITHUB_PATH
       - run: pipenv run pytest -n auto --cov=tested --cov-report=xml tests/
       - name: Upload coverage to Codecov