Allow to manually execute GitHub Action

This commit is contained in:
Slawomir Jaranowski 2024-06-02 20:58:45 +02:00
parent dd9679450e
commit 40448e758b
1 changed files with 6 additions and 3 deletions

View File

@ -17,7 +17,7 @@
name: Java CI
on: [push, pull_request]
on: [push, pull_request, workflow_dispatch]
# clear all permissions for GITHUB_TOKEN
permissions: {}
@ -25,8 +25,11 @@ permissions: {}
jobs:
build:
# execute on any push or pull request from forked repo
if: github.event_name == 'push' || ( github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork )
# execute on any push, workflow_dispatch or pull request from forked repo
if: >
github.event_name == 'push' ||
github.event_name == 'workflow_dispatch' ||
( github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork )
strategy:
matrix: