Creating a mounted source

we have a docker image with older test scripts,
we mount the current sources into "/app/source" and can call newer
test scripts in that directory.

Author: mike dupont

.github/workflows/run-docker-tests.yml

@@ -31,7 +31,7 @@ jobs:
       run: docker pull ${{ inputs.image_url || env.default_image }}
 
     - name: run the Docker tests
-      run: docker compose up mina-local-network
+      run: docker compose up mixed-source
       env:
         DOCKER_IMAGE_URL: ${{ inputs.image_url || env.default_image}}         
 

docker-compose.yml

@@ -15,6 +15,25 @@ services:
       - SYS_PTRACE
       - SYS_ADMIN
     command: "bash -x /app/run-all-tests.sh"
+    
+  mixed-source:
+    restart: no
+    image: ghcr.io/meta-introspector/o1js/o1js-perf-recording:latest
+    privileged: true
+    environment:
+      - PROOF_LEVEL=full
+      - LOG_LEVEL=Debug
+    working_dir: /app
+    # mount the source
+    volumes:
+      - type: bind
+        source: "source"
+        target: "/app/source/"       
+    cap_add:
+      - SYS_PTRACE
+      - SYS_ADMIN
+    # run the test from the mounted source
+    command: "bash -x /app/source/run-all-tests.sh"
 
   reporting:
     restart: no