Shohei Ueda 312bc2c8e4
ci: remove pull_request.types
cf. https://help.github.com/en/actions/reference/events-that-trigger-workflows#pull-request-event-pull_request
> By default, a workflow only runs when a pull_request's activity type is opened, synchronize, or reopened.
2020-05-08 22:42:11 +09:00
..
2020-03-09 20:23:44 +09:00
2020-05-03 13:17:01 +09:00
2020-05-08 22:42:11 +09:00
2020-01-18 01:39:09 +09:00