diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8360eaa81..f2ab6a00c 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -10,7 +10,7 @@ on:
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
-  build-5-2:
+  build-5-3:
     strategy:
       matrix:
         os:
@@ -35,7 +35,7 @@ jobs:
       - run: opam install . --deps-only --with-test
 
       # Runs a set of commands using the runners shell
-      - name: 5.2.0+trunk+serial
+      - name: 5.3.0+trunk+serial
         run: |
           sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
           pip3 install intervaltree
@@ -44,12 +44,12 @@ jobs:
           export OPAM_DISABLE_SANDBOXING=true
           TAG='"run_in_ci"' make run_config_filtered.json
           sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.2.0+trunk.bench
+          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.3.0+trunk.bench
           ls _results
           cat _results/*
           make json
 
-      - name: 5.2.0+trunk+parallel
+      - name: 5.3.0+trunk+parallel
         run: |
           sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
           pip3 install intervaltree
@@ -61,12 +61,12 @@ jobs:
           sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json
           sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered_filtered.json
           make multicore_parallel_run_config_filtered_filtered_2domains.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.2.0+trunk.bench
+          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.3.0+trunk.bench
           ls _results
           cat _results/*
           make json
 
-  build-5-1:
+  build-5-2:
     strategy:
       matrix:
         os:
@@ -91,38 +91,7 @@ jobs:
       - run: opam install . --deps-only --with-test
 
       # Runs a set of commands using the runners shell
-      - name: 5.1.0+stable
-        run: |
-          # TODO: Add gnuplot-x11 when irmin benchmarks are enabled
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo gnuplot-x11 libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.0+stable.bench
-          ls _results
-          cat _results/*
-          make json
-
-      - name: 5.1.0+stable+parallel
-        run: |
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make multicore_parallel_run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json
-          TAG='"macro_bench"' make multicore_parallel_run_config_filtered_filtered.json
-          make multicore_parallel_run_config_filtered_filtered_2domains.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.1.0+stable.bench
-          ls _results
-          cat _results/*
-          make json
-
-      - name: 5.1.1+trunk+serial
+      - name: 5.2.0+trunk+serial
         run: |
           sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
           pip3 install intervaltree
@@ -131,12 +100,12 @@ jobs:
           export OPAM_DISABLE_SANDBOXING=true
           TAG='"run_in_ci"' make run_config_filtered.json
           sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.1.1+trunk.bench
+          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.2.0+trunk.bench
           ls _results
           cat _results/*
           make json
 
-      - name: 5.1.1+trunk+parallel
+      - name: 5.2.0+trunk+parallel
         run: |
           sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
           pip3 install intervaltree
@@ -148,64 +117,11 @@ jobs:
           sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json
           sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered_filtered.json
           make multicore_parallel_run_config_filtered_filtered_2domains.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.1.1+trunk.bench
+          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.2.0+trunk.bench
           ls _results
           cat _results/*
           make json
 
-  build-5-0:
-    strategy:
-      matrix:
-        os:
-          - ubuntu-latest
-        ocaml-compiler:
-          - 4.13.x
-
-    runs-on: ${{ matrix.os }}
-
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v3
-
-      - name: Check Valid ocaml-version/*.json and URLs
-        run: make check_url
-
-      - name: Use OCaml ${{ matrix.ocaml-compiler }}
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
-
-      - run: opam install . --deps-only --with-test
-
-      - name: 5.0.1+trunk+serial
-        run: |
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' run_config_filtered.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 RUN_CONFIG_JSON=run_config_filtered.json make ocaml-versions/5.0.1+trunk.bench
-          ls _results
-          cat _results/*
-
-      - name: 5.0.1+trunk+parallel
-        run: |
-          sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev
-          pip3 install intervaltree
-          eval $(opam env)
-          export ITER=1
-          export OPAM_DISABLE_SANDBOXING=true
-          TAG='"run_in_ci"' make multicore_parallel_run_config_filtered.json
-          TAG='"macro_bench"' make multicore_parallel_run_config_filtered_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered.json
-          sed -i 's/--cpu-list 5/--cpu-list 1/g' multicore_parallel_run_config_filtered_filtered.json
-          make multicore_parallel_run_config_filtered_filtered_2domains.json
-          OPT_WAIT=0 USE_SYS_DUNE_HACK=1 BUILD_BENCH_TARGET=multibench_parallel RUN_CONFIG_JSON=multicore_parallel_run_config_filtered_filtered_2domains.json make ocaml-versions/5.0.1+trunk.bench
-          ls _results
-          cat _results/*
-
   build-4-14:
     strategy:
       matrix: