Revert "objectionary#66 - removed gh-pages checks"

This reverts commit 3e5f226.
Graur · Oct 26, 2022 · 25f9d4e · 25f9d4e
1 parent 3e5f226
commit 25f9d4e
Showing 1 changed file with 27 additions and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -0,0 +1,27 @@
+---
+name: github pages
+on:
+  push:
+    branches:
+      - master
+    paths-ignore: ['paper/**', 'README.md', 'LICENSE.txt']
+  pull_request:
+    branches:
+      - master
+    paths-ignore: ['paper/**', 'README.md', 'LICENSE.txt']
+jobs:
+  make:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-java@v3
+        with:
+          distribution: 'temurin'
+          java-version: 17
+      - run: mvn clean install
+      - run: mkdir gh-pages
+      - run: cp -r target/eo-after/. gh-pages
+      - uses: JamesIves/github-pages-deploy-action@v4.4.1
+        with:
+          branch: gh-pages
+          folder: gh-pages