From 377f30018fac1e23f07cd6878bd15cee93811561 Mon Sep 17 00:00:00 2001
From: Luc Maranget <Luc.Maranget@inria.fr>
Date: Tue, 3 Dec 2024 19:56:00 +0100
Subject: [PATCH] [action] Action to run litmus on x86_64 tests

Test will be run every sunday at 10.
---
 .github/workflows/run-litmus-x86_64.yml | 31 +++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 .github/workflows/run-litmus-x86_64.yml

diff --git a/.github/workflows/run-litmus-x86_64.yml b/.github/workflows/run-litmus-x86_64.yml
new file mode 100644
index 0000000000..fc5b9f325a
--- /dev/null
+++ b/.github/workflows/run-litmus-x86_64.yml
@@ -0,0 +1,31 @@
+name: Run Litmus X86_64
+
+on:
+  schedule:
+    - cron '0 10 * * 0'
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - ubuntu-latest
+        ocaml-compiler:
+          - "5.1"
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v4
+
+      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+      - run: |
+          opam install dune menhir zarith
+          opam exec -- make Version.ml
+          opam exec -- dune build litmus/litmus.exe
+          opam exec -- make litmus-x86_64-test LITMUS=$(pwd)/_build/default/litmus/litmus.exe X86_64_PREFIX=''