Don't run the same job for both push and pull_request
#656
The logs for this run have expired and are no longer available.
Loading
push and pull_request
#656