From 01b4d8d8acae15e03d452140fe9db413e65a8d4a Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Wed, 16 Oct 2024 08:06:36 -0400
Subject: [PATCH] Initial CI setup

This ports the Coq-based CI setup from `saw-script` over to `entree-specs`.

Fixes #8.
---
 .github/workflows/ci.yml | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 .github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..d9da33c
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,39 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        ocaml: ["4.14.x"]
+        coq: ["8.15.2"]
+        os: ["ubuntu-22.04"]
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: true
+
+      - name: Install OCaml
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml }}
+
+      - name: Add coq-released repo
+        shell: bash
+        run: opam repo add coq-released https://coq.inria.fr/opam/released
+
+      - name: Install Coq
+        shell: bash
+        run: opam install -y coq=${{ matrix.coq }}
+
+      - name: Build entree-specs
+        shell: bash
+        run: opam exec -- make -j