add workflow dispatch

JabRef · Nov 1, 2023 · ff9a9d7 · ff9a9d7
1 parent 0a1c8a4
commit ff9a9d7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -6,6 +6,7 @@ on:
   pull_request:
     branches:
       - master
+  workflow_dispatch:
 
 jobs:
   verify:

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -3,6 +3,7 @@ on:
   push:
     tags:
       - '*'
+  workflow_dispatch:
 
 jobs:
   release:
@@ -46,7 +47,6 @@ jobs:
          ./gradlew publishAllPublicationsToGitHubPackagesRepository
           echo ::set-output name=exit_code::$?
 
-
       - name: Update Javadocs
         if: steps.deploy.outputs.exit_code == 0
         run: |
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,6 +6,7 @@ on: @@
       pull_request:
         branches:
           - master
+      workflow_dispatch:
     jobs:
       verify:
@@ Expand Down @@