ci: use pull_request
trigger instead of push
trigger
#33
This job was skipped
Loading
pull_request
trigger instead of push
trigger
#33