Merge pull request #123 from GaloisInc/113-ci

Set up CI

.github/workflows/client-ci.yml

@@ -0,0 +1,40 @@
+name: CN Client CI
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+# Cancel in-progress job when a new push is performed
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        node-version: [21.7.3]
+        os: [ubuntu-22.04]
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Set up Node
+        uses: actions/setup-node@v4
+        with:
+          node-version: ${{ matrix.node-version }}
+
+      - name: Install client dependencies
+        working-directory: ./cn-lsp/client
+        run: npm install
+
+      - name: Build client
+        working-directory: ./cn-lsp/client
+        run: npm run compile

.github/workflows/server-ci.yml

@@ -0,0 +1,64 @@
+name: CN Server CI
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+# Cancel in-progress job when a new push is performed
+concurrency:
+  group: ci-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        ocaml-version: [4.14.1]
+        os: [ubuntu-22.04]
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Set up OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-version }}
+
+      - name: Restore `_opam`
+        id: cache-opam-restore
+        uses: actions/cache/restore@v4
+        with:
+          path: _opam
+          key: ${{ matrix.ocaml-version }}
+
+      - name: Install server dependencies
+        working-directory: ./cn-lsp/server
+        run: |
+          eval $(opam env)
+          opam install . --deps-only --locked -y
+
+      - name: Cache `_opam`
+        if: steps.cache-opam-restore.outputs.cache-hit != 'true'
+        uses: actions/cache/save@v4
+        with:
+          path: _opam
+          key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}
+
+      - name: Build server
+        working-directory: ./cn-lsp/server
+        run: |
+          eval $(opam env)
+          dune build
+
+      - name: Run server tests
+        working-directory: ./cn-lsp/server
+        run: |
+          eval $(opam env)
+          dune test

cn-lsp/server/README.md

@@ -4,8 +4,8 @@ Begin by installing OCaml and opam, if need be - here are
 [instructions](https://ocaml.org/docs/installing-ocaml) for how to do so. CN and
 Cerberus currently recommend, and build with, OCaml 4.14.1, and that version was
 used to generate the lockfile which this installation process relies on. (I've
-also been able to work with other versions as recent as 5.1.1, and have included
-an alternate lockfile for 5.1.1 as well, but your mileage may vary.)
+also been able to work with other versions as recent as 5.1.1, but your mileage
+may vary.)
 
 I recommend creating and using an opam switch to maintain an isolated dependency
 installation and development environment:

cn-lsp/server/cnlsp.opam

@@ -35,11 +35,14 @@ build: [
 pin-depends: [
   [
     "cerberus.f1f118b26"
-    "git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
   ]
   [
     "cerberus-lib.f1f118b26"
-    "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
+  ]
+  [
+    "cn.f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
   ]
-  ["cn.f1f118b26" "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"]
 ]

cn-lsp/server/cnlsp.opam.locked

@@ -26,8 +26,6 @@ depends: [
   "dune" {= "3.16.0"}
   "dune-configurator" {= "3.16.0"}
   "fmt" {= "0.9.0"}
-  "host-arch-arm64" {= "1"}
-  "host-system-other" {= "1"}
   "jsonrpc" {= "1.17.0"}
   "lem" {= "2022-12-10"}
   "linol" {= "0.6"}
@@ -86,15 +84,15 @@ build: [
 ]
 pin-depends: [
   [
-  "cerberus.f1f118b26"
-  "git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
-]
+    "cerberus.f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
+  ]
   [
-  "cerberus-lib.f1f118b26"
-  "git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
-]
+    "cerberus-lib.f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
+  ]
   [
-  "cn.f1f118b26"
-  "git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
-]
+    "cn.f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
+  ]
 ]

cn-lsp/server/cnlsp.opam.template

@@ -1,11 +1,14 @@
 pin-depends: [
   [
     "cerberus.f1f118b26"
-    "git+ssh://git@github.com/rems-project/cerberus.git#f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
   ]
   [
     "cerberus-lib.f1f118b26"
-    "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
+  ]
+  [
+    "cn.f1f118b26"
+    "git+https://github.com/rems-project/cerberus.git#f1f118b26"
   ]
-  ["cn.f1f118b26" "git+ssh://[email protected]/rems-project/cerberus.git#f1f118b26"]
 ]