Reintroduce pull_request in GitHub workflow with if case
#466
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 0s |
pull_request in GitHub workflow with if case
#466
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 0s |