Update docker.yml

Author: danyaberezun

.github/workflows/docker.yml

@@ -32,9 +32,13 @@ jobs:
           opam install . --deps-only --with-test --with-doc
 
       - name: List installed packages
-        run: |
-          opam list
-          opam pin list
+        run: opam list
+
+      - name: update
+        run: opam update ostap
+
+      - name: List installed packages 2
+        run: opam list
 
       - run: eval $(opam env)
 #      - run: opam exec -- dune build --profile=release