Trigger dist updating on opening PR

Author: krzema12

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

@@ -9,6 +9,7 @@
 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.PullRequest
 import io.github.typesafegithub.workflows.domain.triggers.WorkflowDispatch
 import io.github.typesafegithub.workflows.dsl.workflow
 import io.github.typesafegithub.workflows.yaml.writeToFile
@@ -17,6 +18,7 @@ workflow(
     name = "Update dist",
     on = listOf(
         WorkflowDispatch(),
+        PullRequest(types = listOf(PullRequest.Type.Opened)),
     ),
     sourceFile = __FILE__.toPath(),
 ) {

.github/workflows/update-dist.yaml

@@ -5,6 +5,9 @@
 name: 'Update dist'
 on:
   workflow_dispatch: {}
+  pull_request:
+    types:
+    - 'opened'
 jobs:
   check_yaml_consistency:
     name: 'Check YAML consistency'