ci: use pull_request
trigger instead of push
trigger
#33
The logs for this run have expired and are no longer available.
Loading
pull_request
trigger instead of push
trigger
#33