Revert "Trigger dist updating on opening PR"

This reverts commit 0d88db9.

There's some problem with inferring branch name.

Author: krzema12

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

@@ -9,7 +9,6 @@
 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
@@ -18,7 +17,6 @@ workflow(
     name = "Update dist",
     on = listOf(
         WorkflowDispatch(),
-        PullRequest(types = listOf(PullRequest.Type.Opened)),
     ),
     sourceFile = __FILE__.toPath(),
 ) {

.github/workflows/update-dist.yaml

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