CI for Coq 8.16 (#171)

Author: yforster

.github/workflows/build.yml

@@ -4,7 +4,7 @@ on: [push, pull_request]
 
 env:
   OCAML_VERSION: 4.11.0
-  CACHE_KEY: opam-8.15-metacoqrel-${{github.base_ref}}-${{github.ref}} 
+  CACHE_KEY: opam-8.16-${{github.base_ref}}-${{github.ref}} 
 jobs:
   build-deps:
     runs-on: ubuntu-latest
@@ -16,7 +16,7 @@ jobs:
         path: "~/.opam"
         key: ${{env.CACHE_KEY}}
         restore-keys: |
-          opam-8.15-metacoqrel--refs/heads/${{github.base_ref}}
+          opam-8.16--refs/heads/${{github.base_ref}}
 
     - name: Install OCaml
       uses: avsm/setup-ocaml@v1

opam

@@ -26,7 +26,7 @@ install: [
   [make "install"]
 ]
 depends: [
-  "coq" {>= "8.16" & < "8.17"}
+  "coq" {= "8.16.0"}
   "ocaml"
   "coq-smpl" {>= "8.16"}
   "coq-metacoq-template" {>= "1.1+8.16"}