Merge branch 'feature/mongodb-migration' of github.com:atlarge-research/opendc-dev into feature/mongodb-migration

1 files changed, 26 insertions, 0 deletions

diff --git a/.github/workflows/web-server.yml b/.github/workflows/web-server.yml
new file mode 100644
index 00000000..af843266
--- /dev/null
+++ b/.github/workflows/web-server.yml
@@ -0,0 +1,26 @@
+name: Web server
+
+on: [push]
+
+jobs:
+    build:
+        runs-on: ubuntu-latest
+        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