From af3d013da30e223a9095fee0ea1e54ed7c53d56b Mon Sep 17 00:00:00 2001
From: Olivier Nicole <olivier@chnik.fr>
Date: Fri, 8 Mar 2024 12:15:32 -0500
Subject: [PATCH] Pin Jane Street opam repo for more stable CI tests

---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 933f89b8d..bad57c32f 100644
--- 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: feaf8f8
           path: jane-street/opam-repository
 
       - name: Pin dune