From 1d061d37542c0634205f0872f8363a799f9a6dae Mon Sep 17 00:00:00 2001
From: kilyanni <github@nkilian.org>
Date: Thu, 20 Aug 2026 12:47:02 +0200
Subject: [PATCH] ci: add wasinix pull request commands

---
 .github/workflows/wasinix-command.yml | 33 +++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 .github/workflows/wasinix-command.yml

diff --git a/.github/workflows/wasinix-command.yml b/.github/workflows/wasinix-command.yml
new file mode 100644
index 0000000000000..754832a064022
--- /dev/null
+++ b/.github/workflows/wasinix-command.yml
@@ -0,0 +1,33 @@
+name: Wasinix command
+
+# `/wasinix <command>` on a pull request. The pipeline lives in wasinix's
+# ci-command-run.yml: it authorizes and runs the command against a
+# wasix-org/wasinix checkout, maps this repository's PR onto an override of its
+# packaged pin, and replies on the PR the comment came from. This file is only
+# the trigger.
+on:
+  issue_comment:
+    types: [created]
+
+concurrency:
+  group: command-${{ github.repository_id }}-pr-${{ github.event.issue.number }}
+  cancel-in-progress: false
+
+jobs:
+  command:
+    # Cheap pre-filter only; authorization decides for real.
+    if: >-
+      github.event.issue.pull_request && contains(github.event.comment.body,
+      '/wasinix')
+    permissions:
+      contents: write
+      checks: write
+      pull-requests: write
+      # The timings job reads the run's own step records.
+      actions: read
+    uses: wasix-org/wasinix/.github/workflows/ci-command-run.yml@main
+    secrets: inherit
+    with:
+      builder-runs-on: ubuntu-24.04
+      eval-workers: "2"
+      eval-memory: "8192"