fixup! Attempting to get CI actions running on OSX.

.github/workflows/push.yml

@@ -3,11 +3,15 @@ on: push
 jobs:
   test:
     runs-on:
+      - ubuntu-latest
       - macos-latest
     steps:
-      - name: setup-docker
-        uses: docker-practice/actions-setup-docker@v1
-      - name: Checkout
+      - name: Setup docker (if required)
+        if: runner.os == 'macos'
+        run: |
+          brew install docker
+          colima start
+      - name: Checkout code
         uses: actions/checkout@v4
       - name: Build the stack
         run: |