[CI] Update to 9.0+rc1

coq-community · Jan 25, 2025 · 3eb9087 · 3eb9087
1 parent 79d18c8
commit 3eb9087
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,7 +19,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '9.0.dev'
+          - '9.0+rc1'
         image:
           # we can't use coqorg/coq images to test bignums
           # since these images already include coq-bignums

diff --git a/coq-bignums.opam b/coq-bignums.opam
@@ -3,7 +3,7 @@
 
 opam-version: "2.0"
 maintainer: "[email protected]"
-version: "9.0.dev"
+version: "9.0+rc1"
 
 homepage: "https://github.com/coq-community/bignums"
 dev-repo: "git+https://github.com/coq-community/bignums.git"

diff --git a/meta.yml b/meta.yml
@@ -28,7 +28,7 @@ maintainers:
 
 opam-file-maintainer: [email protected]
 
-opam-file-version: 9.0.dev
+opam-file-version: 9.0+rc1
 
 license:
   fullname: GNU Lesser General Public License v2.1