Add a workflow for latest released ocaml

1 files changed, 12 insertions, 0 deletions

diff --git a/etc/ci_opam_latest_build.sh b/etc/ci_opam_latest_build.sh
new file mode 100755
index 00000000..13fbe0ac
--- /dev/null
+++ b/etc/ci_opam_latest_build.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -eu
+
+opam init -y --no-setup --compiler=4.10 --shell=sh
+
+eval `opam config env`
+
+opam repository -y add rems https://github.com/rems-project/opam-repository.git
+opam pin -y add sail .
+opam install -y -v sail
+sail -v