diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2022-08-21 13:15:13 +0200 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-08-23 00:52:35 +0200 |
| commit | a2ee5610ae5986797809358c9ace840eca6fd030 (patch) | |
| tree | 95822c243630d1180977a1387db810b3e29ca5ac /.github/workflows/update-readme.yml | |
| parent | fb6d60c7b976ecdc23de36826cb170bb340940ff (diff) | |
ci: add workflow_dispatch
Diffstat (limited to '.github/workflows/update-readme.yml')
| -rw-r--r-- | .github/workflows/update-readme.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/update-readme.yml b/.github/workflows/update-readme.yml index dba7ba26..62f8bd4f 100644 --- a/.github/workflows/update-readme.yml +++ b/.github/workflows/update-readme.yml @@ -4,6 +4,7 @@ on: push: branches: - master + workflow_dispatch: jobs: update-readme: |