From 7bad70c518ca9a547e9c8cc8687959e5084cee70 Mon Sep 17 00:00:00 2001 From: jreij Date: Tue, 18 Jul 2023 10:20:49 +0200 Subject: [PATCH] Use java 17 with publish docs workflow --- .github/workflows/publish_docs.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index b840f6ed45..57a5aac54a 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -12,11 +12,27 @@ jobs: runs-on: ubuntu-latest steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + # https://github.com/marketplace/actions/checkout - uses: actions/checkout@v3 + # Setup Java 17 + # https://github.com/marketplace/actions/setup-java-jdk + - name: Set up JDK + uses: actions/setup-java@v3 + with: + distribution: 'zulu' + java-version: 17 + cache: 'gradle' + + - name: Grant execute permission for gradlew + run: chmod +x gradlew + + # Generate kdocs - name: Generate Dokka HTML documentation run: ./gradlew dokkaHtmlMultiModule --no-daemon + # Deploy to GitHub Pages - name: Deploy GitHub Pages uses: JamesIves/github-pages-deploy-action@v4.4.3 with: