From eb50c4f28d978fcd914b819d523e8da607d05b0c Mon Sep 17 00:00:00 2001 From: Ignat Beresnev Date: Fri, 21 Apr 2023 18:29:22 +0200 Subject: Clean up GitHub workflows (#2951) * Run Gradle wrapper checksum less often * Do not publish examples as artifacts in internal PRs --- .github/workflows/gh-pages.yml | 48 ------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 .github/workflows/gh-pages.yml (limited to '.github/workflows/gh-pages.yml') diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml deleted file mode 100644 index ab8e9aeb..00000000 --- a/.github/workflows/gh-pages.yml +++ /dev/null @@ -1,48 +0,0 @@ -name: Build and deploy MkDocs to GitHub Pages - -on: - push: - branches: - - master - release: - types: [ published ] - -jobs: - docs: - if: github.repository == 'Kotlin/dokka' - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - with: - path: dokka - - uses: dorny/paths-filter@v2 - id: filter - with: - filters: | - mkdocs_changed: - - 'mkdocs/**' - working-directory: ./dokka - - uses: actions/setup-java@v3 - with: - distribution: 'zulu' - java-version: 17 - cache: 'maven' - - uses: gradle/gradle-build-action@v2 - with: - gradle-home-cache-cleanup: true - - name: Get current dokka version - run: echo "DOKKA_VERSION=`./gradlew :properties | grep '^version:.*' | cut -d ' ' -f 2`" >> $GITHUB_ENV - if: github.event_name == 'release' || steps.filter.outputs.mkdocs_changed == 'true' - working-directory: ./dokka - - name: Build docs - run: ./gradlew mkdocsBuild -Pdokka_version=$DOKKA_VERSION --info - if: github.event_name == 'release' || steps.filter.outputs.mkdocs_changed == 'true' - working-directory: ./dokka - - name: Deploy - uses: peaceiris/actions-gh-pages@v3 - if: github.event_name == 'release' || steps.filter.outputs.mkdocs_changed == 'true' - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./dokka/mkdocs/build/mkdocs - keep_files: true - full_commit_message: Publish ${{ env.DOKKA_VERSION }} documentation -- cgit