diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
index b8ee3e15b5..9cd93735e4 100644
--- a/.github/workflows/coq-opam-package.yml
+++ b/.github/workflows/coq-opam-package.yml
@@ -19,7 +19,7 @@ jobs:
         coq-version: ['dev', '8.19.0', '8.18.0']
         os: [{name: 'Ubuntu',
               runs-on: 'ubuntu-latest',
-              ocaml-compiler: '4.08.1',
+              ocaml-compiler: '4.09.1',
               coq-extra-flags: '',
               extra-ocaml-repositories: '',
               opam-jobs-flag: ''},