diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4449147..6d13ea4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,5 +1,15 @@ name: Build -on: [push, pull_request, workflow_dispatch] +on: + push: + pull_request: + workflow_dispatch: + inputs: + ghidra_version: + description: 'Specify the Ghidra version(s) you want to build for (e.g. "latest", "11.0")' + required: true + default: '"latest"' + schedule: + - cron: '0 0 1 * *' # Monthly permissions: contents: write @@ -8,15 +18,9 @@ jobs: runs-on: ubuntu-latest strategy: + fail-fast: false matrix: - ghidra: - - "11.1.2" - - "11.1.1" - - "11.1" - - "11.0.3" - - "11.0.2" - - "11.0.1" - - "11.0" + ghidra: ${{ fromJSON(format('[{0}]', inputs.ghidra_version || '"latest","11.1.2","11.1.1","11.1","11.0.3","11.0.2","11.0.1","11.0"')) }} steps: - name: Clone Repository