Pin Jane Street opam repo for more stable CI tests

OlivierNicole · Mar 8, 2024 · af3d013 · af3d013
1 parent 5741b98
commit af3d013
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: feaf8f8
           path: jane-street/opam-repository
 
       - name: Pin dune