From 77ceceb122ea77ac27ee36384e6821e632269538 Mon Sep 17 00:00:00 2001 From: Geert Bevin Date: Sat, 30 Sep 2023 19:04:20 -0400 Subject: [PATCH] Updated Github workflow --- .github/workflows/pages.yml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 40593df..3bb461a 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -30,29 +30,30 @@ jobs: steps: - name: Checkout source repository - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: + clean: true submodules: 'true' fetch-depth: 0 - name: Set up JDK 17 uses: actions/setup-java@v3 with: - distribution: 'zulu' + distribution: 'corretto' java-version: 17 - name: Build Javadocs - run: ./bld download clean compile javadoc + run: ./bld clean download clean compile javadoc - name: Setup Pages uses: actions/configure-pages@v3 - name: Upload artifact - uses: actions/upload-pages-artifact@v1 + uses: actions/upload-pages-artifact@v2 with: # Upload generated Javadocs repository path: 'build/javadoc/' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v1 \ No newline at end of file + uses: actions/deploy-pages@v2 \ No newline at end of file