aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFausto Núñez Alberro <fausto.nunez@mailbox.org>2021-02-06 01:18:38 +0100
committerFausto Núñez Alberro <fausto.nunez@mailbox.org>2021-02-06 01:18:38 +0100
commitad1e5c14d7d48388b38e9ed31a06556bf9b54943 (patch)
treeca4c9c70e4e7d94636132b375b86484fca773929
parent042214ac182c5af663e6f95b9d96ba22d44353a2 (diff)
Add a workflow to check if PRs are built
-rw-r--r--.github/workflows/pr.yml22
1 files changed, 22 insertions, 0 deletions
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
new file mode 100644
index 0000000..8625c11
--- /dev/null
+++ b/.github/workflows/pr.yml
@@ -0,0 +1,22 @@
+on:
+ pull_request:
+ branches:
+ - master
+jobs:
+ run:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Set up Python
+ uses: actions/setup-python@v1
+ with:
+ python-version: 3.8
+ - name: Upgrade pip
+ run: python -m pip install --upgrade pip
+ - name: Install pybase16
+ run: pip install pybase16-builder
+ - name: Fetch the repository code
+ uses: actions/checkout@v2
+ - name: Run make build
+ run: make build
+ - name: Check if there are changes
+ run: git diff --exit-code