diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 3f888004e9..69194a46cc 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -19,7 +19,7 @@ jobs:
           - ubuntu-latest
         packages: [ '.' ]
         ocaml-compiler:
-          - 4.13.x
+          - 5.1.x
 
     runs-on: ${{ matrix.os }}