Use number instead of pull_request_number for correct output
#18
| Job | Run time |
|---|---|
| 14s | |
| 14s |
number instead of pull_request_number for correct output
#18
| Job | Run time |
|---|---|
| 14s | |
| 14s |