Use composed build in coq-alpine.yml

Author: andres-erbsen

.github/workflows/coq-alpine.yml

@@ -42,6 +42,12 @@ jobs:
     - name: chroot build params
       shell: alpine.sh {0}
       run: etc/ci/describe-system-config.sh
+    - name: make -j src/Everything.v src/Bedrock/Everything.v
+      shell: alpine.sh {0}
+      run: etc/ci/github-actions-make.sh -j src/Everything.v src/Bedrock/Everything.v
+    - name: make -f Makefile.composed
+      shell: alpine.sh {0}
+      run: etc/ci/github-actions-make.sh -f Makefile.composed
     - name: etc/ci/github-actions-make.sh deps
       shell: alpine.sh {0}
       run: etc/ci/github-actions-make.sh -j2 deps