Fix comment #3
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Integration tests | |
| on: [ push ] | |
| jobs: | |
| # Runs the test suite in a slightly modified Docker image used by Dodona. | |
| # This is the closest to actually running the production environment there is. | |
| dodona-docker: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: docker build -t "local-image" -f ${{ github.workspace }}/.github/dodona-image.dockerfile --network=host . | |
| name: Build Dodona Docker image | |
| - run: docker run -v ${{ github.workspace }}:/github/workspace -e TESTED_SOURCE=/github/workspace local-image | |
| name: Run tests in Dodona Docker image |