ci: use pull_request trigger instead of push trigger
#33
| Job | Run time |
|---|---|
| 57s | |
| 22s | |
| 38s | |
| 0s | |
| 1m 57s |
pull_request trigger instead of push trigger
#33
| Job | Run time |
|---|---|
| 57s | |
| 22s | |
| 38s | |
| 0s | |
| 1m 57s |