error-regression

ocaml · Jun 28, 2023 · d220103 · d220103
1 parent 106156f
commit d220103
Show file tree

Hide file tree

Showing 4 changed files with 2,911 additions and 0 deletions.
diff --git a/.github/workflows/regression.yml b/.github/workflows/regression.yml
@@ -0,0 +1,48 @@
+name: Regression
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  error-regression:
+    name: Error regression
+
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - ubuntu-latest
+        ocaml-compiler:
+          - 4.14.x
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+        with:
+          submodules: true
+
+      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          dune-cache: ${{ matrix.os == 'ubuntu-latest' }}
+
+      - name: Install opam packages
+        run: opam install --deps-only .
+
+      - name: Run build
+        run: opam exec -- dune build
+
+      - name: Install merlin
+        run: opam install .
+
+      - name: Install merl-an
+        run: opam pin -y merl-an https://github.com/pitag-ha/merl-an.git
+
+      - name: Run tests
+        run: REGRESSION=true opam exec -- dune test regression
diff --git a/regression/build-irmin b/regression/build-irmin
@@ -0,0 +1,7 @@
+#!/bin/bash
+git clone https://github.com/mirage/irmin.git
+cd irmin
+git checkout 8da4d16e7cc8beddfc8a824feca325426bae08a9
+sudo apt install -y gnuplot-x11 libgmp-dev pkg-config libffi-dev
+opam install . --deps-only --with-test --no-checksums -y
+opam exec -- dune build
diff --git a/regression/dune b/regression/dune
@@ -0,0 +1,9 @@
+(env (_
+ (binaries build-irmin)))
+
+(cram
+ (enabled_if
+  (= true %{env:REGRESSION=false}))
+ (applies_to :whole_subtree)
+ (deps
+  %{bin:build-irmin}))