Allow CI to be built on demand

This commit is contained in:
Barry Gordon
2022-02-21 17:52:51 +00:00
parent 1a44fa2600
commit 4f3ec532ac
2 changed files with 3 additions and 2 deletions

View File

@@ -1,5 +1,6 @@
name: CI
on:
workflow_dispatch:
push:
branches:
- main

View File

@@ -20,5 +20,5 @@ jobs:
- name: Auto-merge
run: gh pr merge --auto --merge "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
PR_URL: ${{ github.event.pull_request.html_url }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}