Merge pull request #470 from math-comp/gares-patch-2

prepare release
math-comp · Dec 6, 2024 · 811c9dd · 811c9dd
2 parents 545df41 + b479a03
commit 811c9dd
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,6 +20,7 @@ jobs:
         coq_version:
           - '8.18'
           - '8.19'
+          - '8.20'
     steps:
     - uses: actions/checkout@v2
     - uses: coq-community/docker-coq-action@v1

diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,11 @@
 # Changelog
 
-## Unreleased
+## [1.7.1] - 2024-12-06
+
+Compatible with
+- Coq 8.18 with Coq-Elpi 2.0.0
+- Coq 8.19 with Coq-Elpi 2.0.1
+- Coq 8.20 with Coq-Elpi 2.2.x and 2.3.x
 
 ### General
  - **Speedup** `HB.instance` does not try to infer classes that inherit from
-Original file line number
+Diff line change
@@ Expand Up / @@ -20,6 +20,7 @@ jobs: @@
             coq_version:
               - '8.18'
               - '8.19'
+              - '8.20'
         steps:
         - uses: actions/checkout@v2
         - uses: coq-community/docker-coq-action@v1
@@ Expand Down @@