From 25f9d4e2818538f3abfd3cbe0b00a9c7fc8b907a Mon Sep 17 00:00:00 2001 From: graur Date: Wed, 26 Oct 2022 16:18:41 +0300 Subject: [PATCH] Revert "#66 - removed gh-pages checks" This reverts commit 3e5f226be73ede95c866a6403d709433cd97aa34. --- .github/workflows/gh-pages.yml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 .github/workflows/gh-pages.yml diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml new file mode 100644 index 0000000..f05b47a --- /dev/null +++ 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