github: fix typo

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 2, 2025 · 661ae0c · 661ae0c
1 parent 947efca
commit 661ae0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/rump-deploy.yml b/.github/workflows/rump-deploy.yml
@@ -15,7 +15,7 @@ on:
   # allow manual trigger
   workflow_dispatch:
 
-  # allow explict trigger from other repos when dependencies have changed
+  # allow explicit trigger from other repos when dependencies have changed
   repository_dispatch:
     types: [deps-update]