add ci

2023-01-05 16:16:19 -08:00
parent bd32544d42
commit 78a2f773d4
1 changed files with 11 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,11 @@
+on: [push, pull_request]
+
+name: CI
+
+jobs:
+  check:
+    name: Build and test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: make