Merge pull request #103 from avindra/master

Migrate Travis ➡️ GitHub actions
rakitzis · Jul 22, 2024 · 43a03c2 · 43a03c2
2 parents d6b2dc9 + 427d69b
commit 43a03c2
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 11 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,15 @@
+name: ci
+
+on: [push, pull_request]
+
+jobs:
+  test_matrix:
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macos-latest]
+    runs-on: ${{ matrix.os }}
+    steps:
+    - uses: actions/checkout@v4
+    - run: make
+    - run: make check
+    # run: run-test-bestline  (disabled, needs work)
diff --git a/.travis.yml b/.travis.yml
diff --git a/TRAVIS b/TRAVIS