Merge pull request #1743 from Alizter/update-8.17

Author: Alizter

.github/workflows/ci.yml

@@ -1,14 +1,14 @@
 name: CI
 
-on: [ push , pull_request ]
+on: [ push , pull_request , merge_group ]
 
 concurrency:
   group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
   cancel-in-progress: true
 
 # We set the supported coq-version from here. In order to use this environment variable correctly, look at how they are used in the following jobs.
 env:
-  coq-version-supported: '8.16'
+  coq-version-supported: '8.17'
   ocaml-version: '4.14-flambda'
   deployment-branch: 'gh-pages'
 
@@ -273,7 +273,7 @@ jobs:
           mv HoTT.svg HoTTCore.svg dep-graphs/
 
           ## Install coq-dpdgraph
-          opam install coq-dpdgraph.1.0+8.16 -y
+          opam install coq-dpdgraph.1.0+8.17 -y
 
           # For some reason, we get a stackoverflow. So we are lax
           # with making these.

coq-hott.opam

@@ -17,7 +17,7 @@ homepage: "http://homotopytypetheory.org/"
 bug-reports: "https://github.com/HoTT/HoTT/issues"
 depends: [
   "dune" {>= "3.5"}
-  "coq" {>= "8.16.0"}
+  "coq" {>= "8.17.0"}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -25,4 +25,5 @@
  (description
   "To use the HoTT library, the following flags must be passed to coqc:\n  -noinit -indices-matter\nTo use the HoTT library in a project, add the following to _CoqProject:\n  -arg -noinit\n  -arg -indices-matter\n")
  (depends
-  (coq (>= 8.16.0))))
+  (coq
+   (>= 8.17.0))))