Add a workflow that verifies a freshly released version for basic fun…

…ctioning

.github/workflows/verify-release.main.kts

@@ -0,0 +1,46 @@
+#!/usr/bin/env kotlin
+
+/*
+ * Copyright 2020-2025 Björn Kautler
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+@file:Import("workflow-with-copyright.main.kts")
+@file:Repository("https://bindings.krzeminski.it/")
+@file:DependsOn("Vampire:setup-wsl:RELEASE")
+
+import io.github.typesafegithub.workflows.actions.vampire.SetupWsl
+import io.github.typesafegithub.workflows.domain.RunnerType.WindowsLatest
+import io.github.typesafegithub.workflows.domain.triggers.Push
+import io.github.typesafegithub.workflows.domain.triggers.WorkflowDispatch
+
+workflowWithCopyright(
+    name = "Verify Release",
+    on = listOf(
+        Push(tags = listOf("v*")),
+        WorkflowDispatch()
+    ),
+    sourceFile = __FILE__
+) {
+    job(
+        id = "verify_release",
+        name = "Verify Release",
+        runsOn = WindowsLatest
+    ) {
+        uses(
+            name = "Check for Modifications",
+            action = SetupWsl()
+        )
+    }
+}

.github/workflows/verify-release.yaml

@@ -0,0 +1,47 @@
+# Copyright 2020-2025 Björn Kautler
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+# This file was generated using Kotlin DSL (.github/workflows/verify-release.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: 'Verify Release'
+on:
+  push:
+    tags:
+    - 'v*'
+  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/verify-release.yaml'' && ''.github/workflows/verify-release.main.kts'''
+    - id: 'step-2'
+      name: 'Consistency check'
+      run: 'git diff --exit-code ''.github/workflows/verify-release.yaml'''
+  verify_release:
+    name: 'Verify Release'
+    runs-on: 'windows-latest'
+    needs:
+    - 'check_yaml_consistency'
+    steps:
+    - id: 'step-0'
+      name: 'Check for Modifications'
+      uses: 'Vampire/setup-wsl@v4'