ci: Fix Docker build (#4078)

This fixes the workflow job failing because of missing sources, and it
also fixes the job to run the compiler, not just build the image that
_could_ run the compiler.

Closes #4076

.github/workflows/build-and-test.yaml

@@ -79,5 +79,10 @@ jobs:
     name: Docker
     runs-on: ubuntu-latest
     steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+        with:
+          ref: ${{ github.event.inputs.ref || github.ref }}
+
       - name: Docker
-        run: docker build build/docker/
+        run: docker-compose -f build/docker/docker-compose.yml up