Fixup

Author: mattam82

.github/workflows/build.yml

@@ -56,10 +56,10 @@ jobs:
             startGroup "Print opam config"
               sudo chown -R coq:coq .
               opam config list; opam repo list; opam list
-              opam pin remove -y rocq-core
-              opam pin remove -y coq
+              opam remove -y rocq-core rocq-runtime rocq-stdlib rocq-prover coq-core coq-stdlib coqide-server coq-stdlib coq
+              opam pin remove -y rocq-core rocq-runtime rocq-stdlib rocq-prover coq-core coq-stdlib coqide-server coq-stdlib coq
               opam pin add -y coq 9.0+rc1
-              opam install coq.9.0+rc1
+              opam install -y coq.9.0+rc1
             endGroup
           script: |
             startGroup "Build project"