run Javadoc refresh script

Author: Vladimir Kotal

.github/workflows/javadoc.yml

@@ -0,0 +1,22 @@
+name: Upload javadocs to Github pages
+
+on: push
+
+jobs:
+  ubuntu:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout master branch
+      uses: actions/checkout@v2
+    - name: Set up JDK 11
+      uses: actions/setup-java@v1
+      with:
+        java-version: 11
+    - name: Cache Maven packages
+      uses: actions/cache@v2
+      with:
+        path: ~/.m2
+        key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
+        restore-keys: ${{ runner.os }}-m2
+    - name: Refresh Javadoc
+      run: ./dev/docker.sh

dev/javadoc.sh

@@ -6,6 +6,7 @@ set -x
 if [[ "${TRAVIS_REPO_SLUG}" != "oracle/opengrok" ||
     "${TRAVIS_PULL_REQUEST}" != "false" ||
     "${TRAVIS_BRANCH}" != "master" ]]; then
+	echo "Skipping Javadoc refresh"
 	exit 0
 fi