Revert "Comment out install-dev test"

This reverts commit 4f167c8.

.github/workflows/coq-docker.yml

@@ -110,17 +110,16 @@ jobs:
           etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} --dry-run EXTERNAL_DEPENDENCIES=1 SKIP_BEDROCK2=1 install-without-bedrock2 install-standalone-ocaml
           sudo git config --global --add safe.directory "*"
           sudo make EXTERNAL_DEPENDENCIES=1 SKIP_BEDROCK2=1 COQBIN="$(dirname "$(which coqc)")/" install-without-bedrock2 install-standalone-ocaml
-# blocking on https://github.com/mit-plv/bedrock2/issues/388
-#    - name: install-dev
-#      uses: coq-community/docker-coq-action@v1
-#      with:
-#        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
-#        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
-#        export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
-#        custom_script: |
-#          etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} --dry-run EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 install install-standalone-ocaml || true # no idea why make fails even with --dry-run here but succeeds above
-#          sudo git config --global --add safe.directory "*"
-#          sudo make EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 COQBIN="$(dirname "$(which coqc)")/" install install-standalone-ocaml
+    - name: install-dev
+      uses: coq-community/docker-coq-action@v1
+      with:
+        coq_version: ${{ matrix.env.DOCKER_COQ_VERSION }}
+        ocaml_version: ${{ matrix.env.DOCKER_OCAML_VERSION }}
+        export: CI ALLOW_DIFF COQCHKEXTRAFLAGS
+        custom_script: |
+          etc/ci/github-actions-docker-make.sh ${EXTRA_GH_REPORTIFY} --dry-run EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 install install-standalone-ocaml || true # no idea why make fails even with --dry-run here but succeeds above
+          sudo git config --global --add safe.directory "*"
+          sudo make EXTERNAL_REWRITER=1 EXTERNAL_COQPRIME=1 COQBIN="$(dirname "$(which coqc)")/" install install-standalone-ocaml
     - name: display timing info
       run: cat time-of-build-pretty.log
     - name: display per-line timing info