Setup workflows for publication of documentation

paul-dingemans · Apr 25, 2023 · fe6844c · fe6844c
1 parent 304b23b
commit fe6844c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/gradle-pr-build.yml b/.github/workflows/gradle-pr-build.yml
@@ -3,7 +3,7 @@ name: PR Build
 on:
   push:
     branches:
-      - master
+      - masterXXXX_DISABLED
   pull_request:
   workflow_dispatch:
 

diff --git a/.github/workflows/snapshot-docs.yml b/.github/workflows/snapshot-docs.yml
@@ -19,4 +19,6 @@ jobs:
           cd documentation/snapshot
           git config user.email "ktlint@github.com"
           git config user.name "Ktlint Release Workflow"
+          # The dev-snapshot version has no release number as the version will only be tagged when an official release is build
+          # This also prevents that multiple snapshot versions of the documentation will be published in parallel
           mike deploy --push dev-snapshot
diff --git a/documentation/snapshot/docs/index.md b/documentation/snapshot/docs/index.md
@@ -1,6 +1,4 @@
-# Welcome to Ktlint (0.50-snapshot-3)
-
-some snapshot update10
+# Welcome to Ktlint (0.50-snapshot-4)
 
 <h1 align="center">
 <a href="https://pinterest.github.io/ktlint/">

diff --git a/documentation/snapshot/mkdocs.yml b/documentation/snapshot/mkdocs.yml
@@ -1,4 +1,4 @@
-site_name: Ktlint (0.50-SNAPSHOT-3)
+site_name: Ktlint (0.50-SNAPSHOT-4)
 site_url: https://pinterest.github.io/ktlint/
 
 site_dir: build/site