fix: support the native pull request stacked event

.github/workflows/ci.yml

@@ -13,7 +13,12 @@ jobs:
       visibility: ${{ startsWith(github.ref, 'refs/tags/') && 'public' || '' }}
 name: CI
 "on":
-  pull_request: {}
+  pull_request:
+    types:
+      - opened
+      - synchronize
+      - reopened
+      - stacked
   push:
     branches:
       - master

dev/flake-module.nix

@@ -72,7 +72,7 @@
           name = "CI";
 
           on = {
-            pullRequest = {};
+            pullRequest.types = ["opened" "synchronize" "reopened" "stacked"];
             workflowDispatch = {};
             push = {
               branches = ["master"];

hk.pkl

@@ -24,7 +24,11 @@ local linters = new Mapping<String, Step> {
   }
 
   // Infrastructure:
-  ["actionlint"] = Builtins.actionlint
+  ["actionlint"] = (Builtins.actionlint) {
+    // GitHub added this native-stack event before actionlint's event table.
+    // Ignore only this diagnostic until actionlint recognizes it.
+    check = "actionlint -ignore '^invalid activity type \"stacked\" for \"pull_request\" Webhook event\\.' {{files}}"
+  }
 
   // Configuration files:
   ["pkl"] = Builtins.pkl

modules/types/triggers.nix

@@ -88,6 +88,7 @@ in rec {
           "closed"
           "reopened"
           "synchronize"
+          "stacked"
           "converted_to_draft"
           "ready_for_review"
           "locked"