Pin Jane Street opam repo for more stable CI tests

OlivierNicole · Mar 8, 2024 · dd64cf9 · dd64cf9
1 parent 5741b98
commit dd64cf9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -118,6 +118,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: janestreet/opam-repository
+          ref: feaf8f831051fd5f316963b28efd728cf0b0eca1
           path: jane-street/opam-repository
 
       - name: Pin dune