Merge branch 'master' of github.com:atlarge-research/opendc-dev

1 files changed, 28 insertions, 20 deletions

diff --git a/.github/workflows/web-server.yml b/.github/workflows/web-server.yml
index af843266..6f14f97b 100644
--- a/.github/workflows/web-server.yml
+++ b/.github/workflows/web-server.yml
@@ -1,26 +1,34 @@
 name: Web server
 
-on: [push]
+on:
+    push:
+        paths:
+        - 'web-server/*'
+
+defaults:
+    run:
+        working-directory: web-server
 
 jobs:
     build:
-        runs-on: ubuntu-latest
+        runs-on: ${{ matrix.os }}
+        strategy:
+            matrix:
+                os: [ubuntu-latest]
+                python: [3.8]
         steps:
-            -   uses: actions/checkout@v2
-            -   name: Set up Python
-                uses: actions/setup-python@v2
-                with:
-                    python-version: 3.8
-            -   name: Install dependencies
-                working-directory: web-server
-                run: |
-                    python -m pip install --upgrade pip
-                    pip install -r requirements.txt
-            -   name: Lint with pylint
-                working-directory: web-server
-                run: |
-                    ./check.sh
-            -   name: Test with pytest
-                working-directory: web-server
-                run: |
-                    pytest opendc
+        - uses: actions/checkout@v2
+        - name: Set up Python
+          uses: actions/setup-python@v2
+          with:
+            python-version: ${{ matrix.python }}
+        - name: Install dependencies
+          run: |
+            python -m pip install --upgrade pip
+            pip install -r requirements.txt
+        - name: Lint with pylint
+          run: |
+            ./check.sh
+        - name: Test with pytest
+          run: |
+            pytest opendc