Add workflow for regenerating dist (#182)

Author: krzema12

.github/workflows/update-dist.main.kts

@@ -0,0 +1,63 @@
+#!/usr/bin/env kotlin
+@file:Repository("https://repo1.maven.org/maven2/")
+@file:DependsOn("io.github.typesafegithub:github-workflows-kt:1.15.0")
+
+@file:Repository("https://github-workflows-kt-bindings.colman.com.br/binding/")
+@file:DependsOn("actions:checkout:v4")
+@file:DependsOn("gradle:actions__setup-gradle:v3")
+
+import io.github.typesafegithub.workflows.actions.actions.Checkout
+import io.github.typesafegithub.workflows.actions.gradle.ActionsSetupGradle
+import io.github.typesafegithub.workflows.domain.RunnerType
+import io.github.typesafegithub.workflows.domain.triggers.WorkflowDispatch
+import io.github.typesafegithub.workflows.dsl.workflow
+import io.github.typesafegithub.workflows.yaml.writeToFile
+
+workflow(
+    name = "Update dist",
+    on = listOf(
+        WorkflowDispatch(),
+    ),
+    sourceFile = __FILE__.toPath(),
+) {
+    job(
+        id = "build",
+        runsOn = RunnerType.UbuntuLatest,
+    ) {
+        uses(action = Checkout())
+        uses(action = ActionsSetupGradle())
+        run(command = "./gradlew build")
+
+        run(
+            name = "Regenerate the contents of dist directory",
+            command = """
+                set -euxo pipefail
+
+                rm -rf dist
+                unzip -qq build/distributions/github-actions-typing.zip -d dist
+                rm -rf dist/github-actions-typing/bin
+            """.trimIndent()
+        )
+
+        run(
+            name = "Configure git",
+            command = """
+                git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+                git config user.name "github-actions[bot]"
+            """.trimIndent()
+        )
+
+        run(
+            name = "Commit changes",
+            command = """
+                git add .
+                git commit -m "Update dist"
+            """.trimIndent()
+        )
+
+        run(
+            name = "Push commit",
+            command = "git push",
+        )
+    }
+}.writeToFile()

.github/workflows/update-dist.yaml

@@ -0,0 +1,53 @@
+# This file was generated using Kotlin DSL (.github/workflows/update-dist.main.kts).
+# If you want to modify the workflow, please change the Kotlin file and regenerate this YAML file.
+# Generated with https://github.com/typesafegithub/github-workflows-kt
+
+name: 'Update dist'
+on:
+  workflow_dispatch: {}
+jobs:
+  check_yaml_consistency:
+    name: 'Check YAML consistency'
+    runs-on: 'ubuntu-latest'
+    steps:
+    - id: 'step-0'
+      name: 'Check out'
+      uses: 'actions/checkout@v4'
+    - id: 'step-1'
+      name: 'Execute script'
+      run: 'rm ''.github/workflows/update-dist.yaml'' && ''.github/workflows/update-dist.main.kts'''
+    - id: 'step-2'
+      name: 'Consistency check'
+      run: 'git diff --exit-code ''.github/workflows/update-dist.yaml'''
+  build:
+    runs-on: 'ubuntu-latest'
+    needs:
+    - 'check_yaml_consistency'
+    steps:
+    - id: 'step-0'
+      uses: 'actions/checkout@v4'
+    - id: 'step-1'
+      uses: 'gradle/actions/setup-gradle@v3'
+    - id: 'step-2'
+      run: './gradlew build'
+    - id: 'step-3'
+      name: 'Regenerate the contents of dist directory'
+      run: |-
+        set -euxo pipefail
+
+        rm -rf dist
+        unzip -qq build/distributions/github-actions-typing.zip -d dist
+        rm -rf dist/github-actions-typing/bin
+    - id: 'step-4'
+      name: 'Configure git'
+      run: |-
+        git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+        git config user.name "github-actions[bot]"
+    - id: 'step-5'
+      name: 'Commit changes'
+      run: |-
+        git add .
+        git commit -m "Update dist"
+    - id: 'step-6'
+      name: 'Push commit'
+      run: 'git push'