typo

thery · Dec 15, 2022 · c8e8bc8 · c8e8bc8
1 parent 059444e
commit c8e8bc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version: ['8.14', '8.15', '8.16´,'dev']
+        coq_version: ['8.14', '8.15', '8.16','dev']
         ocaml_version: ['default']
       fail-fast: false  # don't stop jobs if one fails
     steps: