Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adapt CI trigger to run on PR from fork. (#74)
* Adapt CI trigger to run on PR from fork. * Trigger on any tag, not only those prefixed with v. * Fix syntax. * Use default pull request types.
- Loading branch information