From ddb80d2d14adede7a4531bd07cfa8ef59652a2df Mon Sep 17 00:00:00 2001
From: Andrew Brown <andrew.brown@intel.com>
Date: Wed, 28 Jul 2021 15:50:04 -0700
Subject: [PATCH] ci: install OCaml packages necessary for 'differential_spec'
 fuzz target

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

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index cbf6ad740c..8a3363799f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -177,6 +177,8 @@ jobs:
       with:
         toolchain: nightly-2021-07-18
     - run: cargo install cargo-fuzz --vers "^0.8"
+    # Install OCaml packages necessary for 'differential_spec' fuzz target.
+    - run: sudo apt install -y ocaml-nox ocamlbuild
     - run: cargo fetch
       working-directory: ./fuzz
     - run: cargo fuzz build --dev