fix CI

Author: yforster

.github/workflows/main.yml

@@ -10,7 +10,7 @@ jobs:
         opam_file:
           - 'coq-autosubst-ocaml.opam'
         image:
-          - 'coqorg/coq:dev-ocaml-4.14.1-flambda'
+          - 'coqorg/coq:8.20-ocaml-4.14.2-flambda' 
       fail-fast: false  # don't stop jobs if one fails
     steps:
       - uses: actions/checkout@v2