[roll-pinned-toolchain-versions] Allow manual trigger (#568)

Allow triggering manually from the GitHub web UI.
google · Oct 28, 2023 · b3407ea · b3407ea
1 parent f46d5ae
commit b3407ea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/roll-pinned-toolchain-versions.yml b/.github/workflows/roll-pinned-toolchain-versions.yml
@@ -12,6 +12,7 @@ name: Roll pinned toolchain versions
 on:
   schedule:
     - cron: '29 12 * * *'
+  workflow_dispatch:
 
 permissions: read-all