From d60480c069fe05aac822d4fcc97376e5ef6cad84 Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Sat, 19 Aug 2023 14:39:36 +0100
Subject: [PATCH] prepare for 8.17

Signed-off-by: Ali Caglayan <alizter@gmail.com>
---
 .github/workflows/ci.yml | 6 +++---
 coq-hott.opam            | 2 +-
 dune-project             | 3 ++-
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 622a755caab..09e946a57d8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 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 }}"
@@ -8,7 +8,7 @@ concurrency:
 
 # 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.
diff --git a/coq-hott.opam b/coq-hott.opam
index 3f9cdcff49d..4f3ce79cc5f 100644
--- a/coq-hott.opam
+++ b/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: [
diff --git a/dune-project b/dune-project
index 2a80c28e742..3686140a112 100644
--- a/dune-project
+++ b/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))))