From 209dad172cc03af3adf2b6fee0e4a4471ef35f8c Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sat, 4 May 2024 21:48:40 -0700
Subject: [PATCH] Add CI configuration file

---
 .github/workflows/test-replay.yml | 63 +++++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 .github/workflows/test-replay.yml

diff --git a/.github/workflows/test-replay.yml b/.github/workflows/test-replay.yml
new file mode 100644
index 0000000000..28ee4367b9
--- /dev/null
+++ b/.github/workflows/test-replay.yml
@@ -0,0 +1,63 @@
+name: Run Small test
+on: [push, pull_request]
+jobs:
+  test:
+    strategy:
+      matrix:
+        maven: [ '3.9.2' ]
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        shell: bash -l {0}
+    steps:
+    - uses: actions/setup-java@v3
+      with:
+        distribution: 'zulu'
+        java-version: 8
+    - run: echo "JAVA8_HOME=$JAVA_HOME" >> $GITHUB_ENV
+    - run: java -version
+    - uses: actions/setup-java@v3
+      with:
+        distribution: 'zulu'
+        java-version: 11
+    - run: echo "JAVA11_HOME=$JAVA_HOME" >> $GITHUB_ENV
+    - run: java -version
+    - uses: actions/setup-java@v3
+      with:
+        distribution: 'zulu'
+        java-version: 17
+    - run: echo "JAVA17_HOME=$JAVA_HOME" >> $GITHUB_ENV
+    - run: java -version
+    - uses: actions/checkout@v4
+      with:
+        submodules: 'true'
+    - name: Set up Python 3.12
+      uses: actions/setup-python@v5
+      with:
+        python-version: '3.12'
+    - name: Setup miniconda
+      uses: conda-incubator/setup-miniconda@v3
+      with:
+        python-version: 3.12
+        auto-update-conda: true
+        mamba-version: "*"
+        channels: conda-forge,defaults
+        activate-environment: AST
+        environment-file: environment.yml
+    - name: Install PdfLaTeX
+      run: sudo apt update && sudo apt install texlive-latex-extra -y
+    - name: Install maven
+      uses: s4u/setup-maven-action@v1.8.0
+      with:
+        java-version: 17
+        maven-version: ${{ matrix.maven }}
+    - name: Clean caches & workspace
+      run: make clean
+    - run: echo "LOGURU_COLORIZE=NO" >> $GITHUB_ENV
+    - name: Run small test
+      run: |
+        git config --global user.email "example@example.com"
+        git config --global user.name "Example Example"
+        src/python/replay_merge.py --idx 38-3
+      env:
+          GITHUB_TOKEN: ${{ secrets.TOKEN_GITHUB }}