basic linux CI.

2026-07-28 04:06:36 +00:00 · 2023-01-27 10:21:11 +01:00
parent eb875f3cb9
commit 572db81d51
1 changed files with 23 additions and 0 deletions
@@ -0,0 +1,23 @@
+name: CI
+
+on:
+  push:
+    paths:
+      - '**'
+  pull_request:
+    paths:
+      - '**'
+
+permissions:
+  contents: read
+
+jobs:
+  build-linux:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@main
+        - name: Build
+          run: cd build && make -j2
+