Allow manual runs of "build" GitHub Action

master
Nicolas Favre-Felix 3 years ago
parent cf0f77907e
commit 7cec889947
No known key found for this signature in database
GPG Key ID: C04E7AA8B6F73372

@ -1,7 +1,7 @@
name: Build name: Build
# trigger the workflow on push or pull requests # trigger the workflow on push or pull requests
on: [push, pull_request] on: [push, pull_request, workflow_dispatch]
jobs: jobs:
build-and-run-tests: build-and-run-tests:

Loading…
Cancel
Save