From 390392d2e0db284ac2225d4b19dfc97c814651da Mon Sep 17 00:00:00 2001
From: Bhakti <38060792+bhaktishh@users.noreply.github.com>
Date: Fri, 31 Mar 2023 09:26:59 -0500
Subject: [PATCH] Added 8.17 to CI

---
 .github/workflows/coq-action.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
index 3c94d09..18b28d8 100644
--- a/.github/workflows/coq-action.yml
+++ b/.github/workflows/coq-action.yml
@@ -15,6 +15,7 @@ jobs:
           - '8.14'
           - '8.15'
           - '8.16'
+          - '8.17'
           - 'dev'
         ocaml_version:
           - 'default'