update to 5.0.0 following ocaml/ocaml#11049

n-osborne · Mar 1, 2022 · 0ca4c60 · 0ca4c60
1 parent 3a01719
commit 0ca4c60
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/.github/workflows/linux-500-workflow.yml b/.github/workflows/linux-500-workflow.yml
@@ -1,4 +1,4 @@
-name: Linux 5.00.0+trunk
+name: Linux 5.0.0+trunk
 
 on:
   pull_request:
@@ -15,10 +15,10 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v2
 
-      - name: Use OCaml 5.00.0+trunk
+      - name: Use OCaml 5.0.0+trunk
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: ocaml-variants.5.00.0+trunk
+          ocaml-compiler: ocaml-variants.5.0.0+trunk
           opam-repositories: |
             default: https://github.com/ocaml/opam-repository.git
             ocaml-beta-repository: https://github.com/ocaml/ocaml-beta-repository.git

diff --git a/.github/workflows/macosx-500-workflow.yml b/.github/workflows/macosx-500-workflow.yml
@@ -1,4 +1,4 @@
-name: MacOSX 5.00.0+trunk
+name: MacOSX 5.0.0+trunk
 
 on:
   pull_request:
@@ -15,10 +15,10 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v2
 
-      - name: Use OCaml 5.00.0+trunk
+      - name: Use OCaml 5.0.0+trunk
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: ocaml-variants.5.00.0+trunk
+          ocaml-compiler: ocaml-variants.5.0.0+trunk
           opam-repositories: |
             default: https://github.com/ocaml/opam-repository.git
             ocaml-beta-repository: https://github.com/ocaml/ocaml-beta-repository.git

diff --git a/README.md b/README.md
@@ -1,9 +1,9 @@
 Multicore tests
 ===============
 
-[![Linux 5.00.0+trunk](https://github.com/jmid/multicoretests/actions/workflows/linux-500-workflow.yml/badge.svg)](https://github.com/jmid/multicoretests/actions/workflows/linux-500-workflow.yml)
+[![Linux 5.0.0+trunk](https://github.com/jmid/multicoretests/actions/workflows/linux-500-workflow.yml/badge.svg)](https://github.com/jmid/multicoretests/actions/workflows/linux-500-workflow.yml)
 
-[![MacOSX 5.00.0+trunk](https://github.com/jmid/multicoretests/actions/workflows/macosx-500-workflow.yml/badge.svg)](https://github.com/jmid/multicoretests/actions/workflows/macosx-500-workflow.yml)
+[![MacOSX 5.0.0+trunk](https://github.com/jmid/multicoretests/actions/workflows/macosx-500-workflow.yml/badge.svg)](https://github.com/jmid/multicoretests/actions/workflows/macosx-500-workflow.yml)
 
 Experimental property-based tests of (parts of) the OCaml multicore compiler.
 

diff --git a/multicoretests.opam b/multicoretests.opam
@@ -23,7 +23,7 @@ depends: [
 pin-depends: [
   ["domainslib.0.4.0"          "git+https://github.com/ocaml-multicore/domainslib.git#master"]
   ["sexplib0.v0.14.0"          "git+https://github.com/patricoferris/sexplib0#5.00"]
-  ["ppxlib.0.25.0~5.00preview" "git+https://github.com/pitag-ha/ppxlib#add-temporary-5.0-support"]
+  ["ppxlib.0.25.0~5.00preview" "git+https://github.com/kit-ty-kate/ppxlib#500+sexp"]
 
   ["qcheck-core.0.18.1"        "git+https://github.com/c-cube/qcheck.git#master"]
   ["qcheck-ounit.0.18.1"       "git+https://github.com/c-cube/qcheck.git#master"]