adjust docker image

coq-community · Feb 6, 2025 · a6478da · a6478da
1 parent 0b7f510
commit a6478da
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'rocq/rocq-prover:9.0-rc1'
+          - 'rocq/rocq-prover:9.0'
       fail-fast: false
     steps:
       - uses: actions/checkout@v4

diff --git a/meta.yml b/meta.yml
@@ -56,7 +56,7 @@ supported_ocaml_versions:
     opam: '{>= "4.09.0"}'
 
 tested_coq_opam_versions:
-- version: '9.0-rc1'
+- version: '9.0'
   repo: 'rocq/rocq-prover'
 
 namespace: AAC_tactics