From d7bdd9690e385ba72c0416850f65d3d6f4d14915 Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Thu, 19 Aug 2021 09:13:24 -0700
Subject: [PATCH] ci: Add a github build action

---
 .github/workflows/build.yml  | 19 +++++++++++++++++++
 .github/workflows/build.yml~ | 25 +++++++++++++++++++++++++
 2 files changed, 44 insertions(+)
 create mode 100644 .github/workflows/build.yml
 create mode 100644 .github/workflows/build.yml~

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..4d7e0b6
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,19 @@
+name: Build
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Install dependencies
+      run: sudo ci/install.sh
+
+    - name: Build
+      run: ci/build.sh
diff --git a/.github/workflows/build.yml~ b/.github/workflows/build.yml~
new file mode 100644
index 0000000..7b8ac74
--- /dev/null
+++ b/.github/workflows/build.yml~
@@ -0,0 +1,25 @@
+name: Build and test
+
+# on: [workflow_dispatch]
+
+on:
+  push:
+    branches:
+      - master
+      - V5-9-patches
+
+jobs:
+  build_and_test:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: install required packages
+      run: sudo ci/install.sh
+
+    - name: build
+      run: ci/build.sh
+
+    - name: test
+      run: ci/test.sh