update coq version in CI

kyoDralliam · kyoDralliam · commit f24d5fc62031 · 2025-09-05T13:38:24.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ jobs:
     runs-on: ubuntu-latest
 
     env:
-      coq_version: '8.20'
+      coq_version: '9.0'
       ocaml_version: '4.14-flambda'
       fail-fast: true
 
