fix: adding warning comment in workflow

BerkeleyLearnVerify · Apr 11, 2024 · 1c087f4 · 1c087f4
1 parent 1982b7a
commit 1c087f4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/run-simulators.yml b/.github/workflows/run-simulators.yml
@@ -1,5 +1,7 @@
 name: run_simulators
 on:
+  # IMPORTANT: this workflow should only be triggered manually via the Actions
+  # portal of the repo!!! Do not modify this workflow's trigger!
   workflow_dispatch:
 
 jobs: