From e4d966f71b3bee3626b39c839c478c22e7439aba Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@cs.umd.edu>
Date: Sat, 11 May 2024 10:03:07 -0400
Subject: [PATCH] CI

---
 .github/workflows/push.yml | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/push.yml

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
new file mode 100644
index 0000000..3531e1c
--- /dev/null
+++ b/.github/workflows/push.yml
@@ -0,0 +1,34 @@
+on:
+  - push
+
+jobs:
+  build-and-test:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-20.04, ubuntu-22.04]
+        racket-variant: ['BC', 'CS']
+        racket-version: ['8.6', '8.8']
+    name: Test on Racket ${{ matrix.racket-variant }} ${{ matrix.racket-version }} on ${{ matrix.os }}	
+    steps:
+    - name: Checkout
+      uses: actions/checkout@main
+    - name: Install nasm
+      run: sudo apt-get install nasm
+    - name: Install Racket
+      uses: Bogdanp/setup-racket@v1.10
+      with:
+        architecture: 'x64'
+        distribution: 'full'
+        variant: ${{ matrix.racket-variant }}
+        version: ${{ matrix.racket-version }}
+    - name: Version info
+      run: |
+        nasm --version
+        gcc --version
+    - name: Install langs package
+      run: |
+        raco pkg install --auto langs/
+    - name: Run tests
+      run: |
+        xvfb-run raco test -p langs