add possibility to run the CI manually

epfl-lara · Oct 9, 2024 · 8160aa3 · 8160aa3
1 parent 3e44570
commit 8160aa3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/stainless-CI.yml b/.github/workflows/stainless-CI.yml
@@ -1,5 +1,6 @@
 name: Stainless CI
 on:
+  workflow_dispatch:
   pull_request:
   push:
     branches:

diff --git a/.github/workflows/stainless-nightly.yml b/.github/workflows/stainless-nightly.yml
@@ -1,5 +1,6 @@
 name: Stainless Nightly
 on:
+  workflow_dispatch:
   schedule:
     - cron: '0 1 * * *'
 jobs: