From 4eafc2bc868fe40ff9fd293b2c9800fd3ea198ac Mon Sep 17 00:00:00 2001
From: Valentin Robert <val@galois.com>
Date: Tue, 16 Nov 2021 09:16:04 -0800
Subject: [PATCH] CI: bump coq-bits to 1.1.0

---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5f287f180b..f3bc97cdfd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -222,11 +222,11 @@ jobs:
 
       - uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: 4.09.x  # coq-bits claims to support < 4.10 only
+          ocaml-compiler: 4.12.x
 
       - run: opam repo add coq-released https://coq.inria.fr/opam/released
 
-      - run: opam install --update-invariant -y coq=8.12.2 coq-bits=1.0.0
+      - run: opam install -y coq=8.13.2 coq-bits=1.1.0
 
       # FIXME: the following builds the Coq libraries for the SAW core
       # to Coq translator; if we do other Coq tests, this should become